1453 search results - page 206 / 291 » State and history in operating systems |
106
click to vote
CADE
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
91
Voted
SIGMOD
2002
ACM
16 years 22 days ago
2002
ACM
We present a continuously adaptive, continuous query (CACQ) implementation based on the eddy query processing framework. We show that our design provides significant performance b...
114
click to vote
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
88
Voted
PAM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
120
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...