1456 search results - page 45 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
156
click to vote
ASYNC
2000
IEEE
15 years 10 months ago
2000
IEEE
Self-timed systems often have to communicate with their environment through a clocked interface. For example, off-chip memory may require clocking and this can reduce the benefit...
151
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
While the number of embedded systems in consumer electronics is growing dramatically, several trends can be observed which challenge traditional codesign practice: An increasing s...
185
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
181
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
144
click to vote
BEHAVIOURIT
2005
15 years 6 months ago
2005
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...