14190 search results - page 207 / 2838 » Abstractions for hybrid systems |
167
click to vote
IPCCC
2007
IEEE
16 years 27 days ago
2007
IEEE
To offset the significant power demands of hard disk drives in computer systems, drives are typically powered down during idle periods. This saves power, but accelerates duty cyc...
174
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Reaching a target while remaining in a given set for impulse dynamics can be characterized by a non deterministic controlled differential equation and a controlled instantaneous r...
184
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
184
click to vote
ICANN
2011
Springer
14 years 10 months ago
2011
Springer
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
192
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...