2650 search results - page 325 / 530 » Simulation and Control of Reactive Systems |
120
click to vote
EH
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes a system that is robust with respect to sensor failure. The system utilizes multiple sensor inputs (three in this case) connected to a programmable device (FP...
133
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
We introduce range writes, a simple but powerful change to the disk interface that removes the need for file system micromanagement of block placement. By allowing a file system t...
147
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
143
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...