3750 search results - page 510 / 750 » Timed Automata Patterns |
146
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
120
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
116
Voted
SPDP
1993
IEEE
15 years 7 months ago
1993
IEEE
In PRAM emulations, universal hashing is a well-known method for distributing the address space among memory modules. However, if the memory access patterns of an application ofte...
115
click to vote
POS
1990
Springer
15 years 7 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
136
click to vote
EUSAI
2007
Springer
15 years 7 months ago
2007
Springer
Activity recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware computing. Most approaches for activity recognition focus on...