1271 search results - page 46 / 255 » On Simulation-Checking with Sequential Systems |
106
Voted
TOCS
2012
13 years 5 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...
113
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Traditional storage systems provide a simple read/write interface, which is inadequate for low-locality update-intensive workloads because it limits the disk scheduling flexibili...
163
Voted
MMAS
2011
Springer
14 years 9 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
154
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
111
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Novelty detection is concerned with identifying abnormal system behaviours and abrupt changes from one regime to another. This paper proposes an on-line (causal) novelty detection...