1179 search results - page 63 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
130
Voted
ECUMN
2007
Springer
15 years 9 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
129
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
107
Voted
ICEIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Electrical and mechanical equipment such as gearboxes in an industrial robot or electronic circuits in an industrial printer sometimes fail to operate as intended. The faulty compo...
120
click to vote
HPCC
2009
Springer
15 years 1 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...
129
Voted
ASYNC
2010
IEEE
14 years 7 months ago
2010
IEEE
— Synchronizers play a key role in multi-clock domain systems on chip. Traditionally, improvement of synchronization parameters with scaling has been assumed. In particular, the ...