1179 search results - page 57 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
130
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
155
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
132
Voted
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
124
Voted
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— Throughput maximization in a packet switched wireless communication system is considered in this paper. The channel variation is accounted for by modeling the channel as a fin...
155
Voted
IEICET
2006
15 years 3 months ago
2006
This paper presents an interference suppression using subband adaptive array for space-time block coding (STBC) code division multiple access (CDMA) under the frequency selective ...