824 search results - page 57 / 165 » Model-Based Monitoring of Dynamic Systems |
192
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
154
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...
176
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
207
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
181
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...