601 search results - page 71 / 121 » Simulation vs. Equivalence |
137
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
145
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
When a finger scans a non-smooth surface, a sensation of roughness is experienced. A similar sensation is felt when a finger is in contact with a mobile surface vibrating in the ...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
165
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently a method in FIR filter design using cosine modulation was proposed. Given a prototype M-th band lowpass filter with cutoff frequency at M , one can obtain a new filter wi...
155
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a fast, dynamic fault coverage estimation technique for sequential circuits that achieves high degrees of accuracy by signi cantly reducing the number of injected fault...