Sciweavers

12 search results - page 1 / 3
» acsd 2008
Sort
View
ACSD
2008
IEEE
100views Hardware» more  ACSD 2008»
15 years 10 months ago
Asynchronous pipeline controller based on early acknowledgement protocol
Chammika Mannakkara, Tomohiro Yoneda
ACSD
2008
IEEE
84views Hardware» more  ACSD 2008»
15 years 3 months ago
Time elastic digital systems and Petri Nets
Michael Kishinevsky, Jordi Cortadella
108
Voted
ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
15 years 10 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
128
Voted
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 5 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
133
Voted
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
15 years 10 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