1980 search results - page 296 / 396 » Compositional Model Checking of Real Time Systems |
150
click to vote
JIRS
2008
15 years 3 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
129
click to vote
AAAI
1998
15 years 4 months ago
1998
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
128
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
107
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
133
click to vote
ICAT
2003
IEEE
15 years 8 months ago
2003
IEEE
A basic problem with Augmented Reality systems using Head-Mounted Displays (HMDs) is the perceived latency or lag. This delay corresponds to the elapsed time between the moment wh...