89
Voted
ACSD
15 years 2 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...
ACSD
15 years 2 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...
63
Voted
ACSD
15 years 2 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...
ACSD
15 years 2 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...
66
Voted
ACSD
15 years 2 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