850 search results - page 109 / 170 » Modeling synchronous systems in BIP |
140
click to vote
FDL
2008
IEEE
16 years 22 days ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
180
click to vote
PRDC
2007
IEEE
16 years 17 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
208
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
183
click to vote
ACL
2006
15 years 7 months ago
2006
We present a hierarchical phrase-based statistical machine translation in which a target sentence is efficiently generated in left-to-right order. The model is a class of synchron...
153
click to vote
WSC
2000
15 years 7 months ago
2000
In this paper, we present a simulation testbed for wireless and mobile telecommunication systems, a two-stage PCS parallel simulation testbed which makes use of a conservative sch...