850 search results - page 58 / 170 » Modeling synchronous systems in BIP |
TCS
2008
14 years 9 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...
ICS
2009
Tsinghua U.
15 years 4 months ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
SPAA
2010
ACM
15 years 2 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...