4520 search results - page 163 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
The phase-change random access memory (PRAM) technology is fast maturing to production levels. Main advantages of PRAM are non-volatility, byte addressability, in-place programmab...
212
click to vote
FGR
2002
IEEE
16 years 21 hour 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...
228
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
221
click to vote
PVLDB
2010
15 years 5 months 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...
178
Voted
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...