8. ACSD 2008: Xi'an, China
Jonathan Billington, Zhenhua Duan, Maciej Koutny (Eds.): 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008 ISBN 978-1-4244-1838-1- Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski: Avoiding irreducible CSC conflicts by internal communication. 3-12
- Navid Toosizadeh, Safwat G. Zaky: Using edge-triggering in the asynchronous synthesis of write-after-read operations. 13-20
- Masashi Imai, Takashi Nanya: A design method for 1-out-of-4 encoded low-power self-timed circuits using standard cell libraries. 21-26
- Yan Xiao, Zhenhua Duan: Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. 27-32
- Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. 33-38
- Hendrik Oberheid, Dennis Gamrad, Dirk Söffker: Closed loop state space analysis and simulation for Cognitive Systems. 39-44
- Naohiro Hamada, Yuuki Shiga, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya: A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper). 50-55
- Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. 56-61
- Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. 62-67
- Agnes Madalinski, Eric Fabre: Modular construction of finite and complete prefixes of Petri net unfoldings. 68-77
- Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. 98-107
- Jori Dubrovin, Tommi A. Junttila: Symbolic model checking of hierarchical UML state machines. 108-117
- Chammika Mannakkara, Tomohiro Yoneda: Asynchronous pipeline controller based on early acknowledgement protocol. 118-127
- Kyller Costa Gorgônio, Fei Xia: Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. 138-147
- Shijun Lin, Li Su, Haibo Su, Guofei Zhou, Depeng Jin, Lieguang Zeng: A method for latency/bandwidth guarantees in Network-on-Chip. 148-153
- Tieqiang Mo, Peng Hao: Removing causality cycle of synchronous programs with sequential data-flow recursion. 154-159
- Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri nets from infinite partial languages. 170-179
- Jasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. 180-189
- Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. 190-198
- Shufan Yang, Steve Furber, Yebin Shi, Luis A. Plana: An admission control system for QoS provision on a best-effort GALS interconnect. 200-207
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team