1980 search results - page 352 / 396 » Compositional Model Checking of Real Time Systems |
163
Voted
SIGMETRICS
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
134
Voted
FGR
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a method to recover the full-motion (3 rotations and 3 translations) of the head from an input video using a cylindrical head model. Given an initial reference...
135
Voted
PVLDB
2010
15 years 29 days ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...
125
click to vote
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
133
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...