275 search results - page 42 / 55 » Examples of Models of the Asynchronous Circuits |
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
GI
2010
Springer
14 years 7 months ago
2010
Springer
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
JCNS
2000
14 years 9 months ago
2000
Neocortical networks of excitatory and inhibitory neurons can display alpha()-frequency rhythms when an animal is in a resting or unfocused state. Unlike some - and -frequency rhy...
SAINT
2002
IEEE
15 years 2 months ago
2002
IEEE
An IX (Internet eXchange) is a mechanism to interconnect many networks to each other. Currently, an ISP (Internet Service Provider) establishes numerous interconnections to other ...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...