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]