3365 search results - page 406 / 673 » Digital System Design: Architectures, Methods and Tools |
137
Voted
CGVR
2006
15 years 8 months ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
178
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
168
Voted
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
154
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
167
click to vote
ISCA
2009
IEEE
16 years 1 months ago
2009
IEEE
While microprocessor designers turn to multicore architectures to sustain performance expectations, the dramatic increase in parallelism of such architectures will put substantial...