Date 23-27 June 2008
Filter Results
Displaying Results 1 - 25 of 31
-
-
-
-
A design method for 1-out-of-4 encoded low-power self-timed circuits using standard cell libraries
|
PDF (262 KB)
-
-
PicNIc - Pi-calculus non-interference checker
|
PDF (205 KB)
-
-
BAM: BioAmbient machine
|
PDF (310 KB)
-
A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper)
|
PDF (348 KB)
-
-
-
-
-
-
-
-
-
-
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
|
PDF (345 KB)
-
-
-
QoS-driven service selection and composition
|
PDF (325 KB)
-
-
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
|
PDF (882 KB)
-


