The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Application of Concurrency to System Design (acsd)
2008 (conf/acsd/2008)

  1. Time elastic digital systems and Petri Nets. [Citation Graph (, )][DBLP]

  2. Avoiding irreducible CSC conflicts by internal communication. [Citation Graph (, )][DBLP]

  3. Using edge-triggering in the asynchronous synthesis of write-after-read operations. [Citation Graph (, )][DBLP]

  4. A design method for 1-out-of-4 encoded low-power self-timed circuits using standard cell libraries. [Citation Graph (, )][DBLP]

  5. Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. [Citation Graph (, )][DBLP]

  6. PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]

  7. Closed loop state space analysis and simulation for Cognitive Systems. [Citation Graph (, )][DBLP]

  8. BAM: BioAmbient machine. [Citation Graph (, )][DBLP]

  9. A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper). [Citation Graph (, )][DBLP]

  10. An effective approach for model checking SystemC designs. [Citation Graph (, )][DBLP]

  11. Process algebraic verification of SystemC codes. [Citation Graph (, )][DBLP]

  12. Modular construction of finite and complete prefixes of Petri net unfoldings. [Citation Graph (, )][DBLP]

  13. Performing causality analysis by bounded model checking. [Citation Graph (, )][DBLP]

  14. Modular construction of the symbolic observation graph. [Citation Graph (, )][DBLP]

  15. Time-bounded model checking of infinite-state continuous-time Markov chains. [Citation Graph (, )][DBLP]

  16. Symbolic model checking of hierarchical UML state machines. [Citation Graph (, )][DBLP]

  17. Asynchronous pipeline controller based on early acknowledgement protocol. [Citation Graph (, )][DBLP]

  18. Verification of conditional partial order graphs. [Citation Graph (, )][DBLP]

  19. Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. [Citation Graph (, )][DBLP]

  20. A method for latency/bandwidth guarantees in Network-on-Chip. [Citation Graph (, )][DBLP]

  21. Removing causality cycle of synchronous programs with sequential data-flow recursion. [Citation Graph (, )][DBLP]

  22. QoS-driven service selection and composition. [Citation Graph (, )][DBLP]

  23. Synthesis of Petri nets from infinite partial languages. [Citation Graph (, )][DBLP]

  24. Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. [Citation Graph (, )][DBLP]

  25. On the interplay between fault handling and request-response service invocations. [Citation Graph (, )][DBLP]

  26. An admission control system for QoS provision on a best-effort GALS interconnect. [Citation Graph (, )][DBLP]

  27. Dynamic semantics of OWL-S in CSP-OZ. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002