850 search results - page 26 / 170 » Modeling synchronous systems in BIP |
111
click to vote
ALIFE
2007
15 years 1 months ago
2007
A class of generic models of protocells is introduced, which are inspired by the “Los Alamos bug” is but which, due to their abstraction level, can be applied to a wider set o...
131
click to vote
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
103
click to vote
SENSYS
2004
ACM
15 years 6 months ago
2004
ACM
A class of synchronization protocols for dense, large-scale sensor networks is presented. The protocols build on the recent work of Hong, Cheow, and Scaglione [5, 6] in which the ...
101
click to vote
ICESS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
116
click to vote
TCAD
1998
15 years 1 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...