8190 search results - page 388 / 1638 » From Timed to Hybrid Systems |
210
click to vote
CI
2005
15 years 6 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
173
click to vote
TPDS
2010
15 years 5 months ago
2010
—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common lea...
176
click to vote
SERA
2007
Springer
16 years 1 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
205
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
174
click to vote
CACM
2005
15 years 6 months ago
2005
Networked communications inherently depend on the ability of the sender of a message to indicate through some token how the message should be delivered to a particular recipient. ...