9716 search results - page 89 / 1944 » The Case for Energy-Proportional Computing |
146
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
145
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
166
click to vote
AINTEC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
189
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
153
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper is a call for research in the field of game engine architecture and design, a more comprehensive and thorough understanding of which we consider to be essential for its...