Sciweavers

12 search results - page 1 / 3
» acsd 2008
Sort
View
ACSD
2008
IEEE
84views Hardware» more  ACSD 2008»
13 years 4 months ago
Time elastic digital systems and Petri Nets
Michael Kishinevsky, Jordi Cortadella
ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
13 years 11 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
13 years 6 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
13 years 11 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia