883 search results - page 160 / 177 » Applying Sensitivity Analysis in Real-Time Distributed Syste... |
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
COOPIS
2002
IEEE
14 years 13 days ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
PODS
2009
ACM
14 years 8 months ago
2009
ACM
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...