27756 search results - page 5326 / 5552 » Process Query Systems |
167
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
133
click to vote
IWMM
2009
Springer
15 years 9 months ago
2009
Springer
Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...
135
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
160
click to vote
RAID
2009
Springer
15 years 9 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...
118
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
Embedded systems are often implemented on FPGA devices and 25% of the time [2] include a soft processor— a processor built using the FPGA reprogrammable fabric. Because of their...