2650 search results - page 377 / 530 » Simulation and Control of Reactive Systems |
153
Voted
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
159
Voted
VMCAI
2012
Springer
13 years 11 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
142
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
124
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Peer-assisted Video-on-Demand (VoD) systems have not only received substantial recent research attention, but also been implemented and deployed with success in large-scale real...
144
Voted
EIT
2008
IEEE
15 years 10 months ago
2008
IEEE
—The rapid growth and pervasive use of embedded systems makes it easier for an adversary to gain physical access to these devices to launch attacks and reverse engineer of the sy...