850 search results - page 18 / 170 » Modeling synchronous systems in BIP |
LICS
1996
IEEE
14 years 18 days ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
MSWIM
2005
ACM
14 years 2 months ago
2005
ACM
Motivated by the tradeoff between security and efficiency performance parameters that has been imposed on all modern wireless security protocols, we designed a novel security syst...
ICONIP
2010
13 years 6 months ago
2010
Abstract. We report relationships between the effects of noise and applied constant currents on the behavior of a system of excitable elements. The analytical approach based on the...
CAV
1990
Springer
14 years 15 days ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...