2632 search results - page 227 / 527 » Alternating Timed Automata |
121
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The objective of this paper is to introduce dependability as an optimization criterion in the system-level design process of embedded systems. Given the pervasiveness of embedded ...
130
click to vote
DSD
2005
IEEE
15 years 10 months ago
2005
IEEE
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
116
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...
120
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
145
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...