4679 search results - page 291 / 936 » The Timely Computing Base Model and Architecture |
161
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
174
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Abstract - We propose a new algorithm for the performancedriven interconnect design problem, based on alphabetic trees. The interconnect topology is determined in a global manner a...
197
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
This paper reports an experimental analysis of footsteps as a biometric. The focus here is on information extracted from the time domain of signals collected from an array of piezo...
154
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
246
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...