2030 search results - page 200 / 406 » The Need for Customizable Operating Systems |
160
click to vote
CHARME
1997
Springer
15 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
157
click to vote
DIMACS
1996
15 years 7 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
166
Voted
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
Regret based algorithms have been proposed to control a wide variety of multi-agent systems. The appeal of regretbased algorithms is that (1) these algorithms are easily implement...
151
click to vote
GRAPHITE
2004
ACM
15 years 11 months ago
2004
ACM
Commodity clusters offer the ability to deliver higher performance computer graphics at lower prices than traditional graphics supercomputers. Immersive virtual reality systems de...
137
click to vote
DEBS
2003
ACM
15 years 11 months ago
2003
ACM
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...