111
Voted
ACSD
15 years 6 months ago
2005 IEEE 
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
105
Voted
ACSD
15 years 6 months ago
2005 IEEE 
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
81
Voted
ACSD
15 years 6 months ago
2005 IEEE 
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
101
click to vote
ACSD
15 years 6 months ago
2005 IEEE 
Register Transfer Level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a decade. Shrinking t...
87
Voted
ACSD
15 years 6 months ago
2005 IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
|
Hardware