1524 search results - page 152 / 305 » The First Real Operating System for Reconfigurable Computers |
135
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...
127
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
129
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Since the 1970’s, database systems have been “compute-centric”. When a computation needs the data, it requests the data, and the data are pulled through the system. We belie...
127
click to vote
SPE
2010
15 years 2 months ago
2010
This paper surveys the research on power management techniques for high performance systems. These include both commercial high performance clusters and scientific high performanc...
132
Voted
SBP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...