850 search results - page 30 / 170 » Modeling synchronous systems in BIP |
NAACL
2010
13 years 6 months ago
2010
Syntactic machine translation systems extract rules from bilingual, word-aligned, syntactically parsed text, but current systems for parsing and word alignment are at best cascade...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
— Synchronization phenomena in coupled oscillatory systems are very important model to describe various higherdimensional nonlinear phenomena in the field of natural science. In...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present two protocols for asynchronous Byzantine Quorum Systems (BQS) built on top of reliable channels—one for self-verifying data and the other for any data. ...
IPPS
2000
IEEE
14 years 26 days ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...