1179 search results - page 118 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
140
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...
146
click to vote
TCS
2008
15 years 4 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
127
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Device scaling such as reduced oxide thickness and high electric field has given rise to various reliability concerns. One such growing issue of concern is the degradation of PMOS...
118
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
149
click to vote
EATIS
2007
ACM
15 years 8 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...