13 search results - page 1 / 3 » acsd 2009 |
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
ACSD
2009
IEEE
13 years 8 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility ...