601 search results - page 71 / 121 » Simulation vs. Equivalence |
CONCUR
2003
Springer
14 years 2 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 ...
HAPTICS
2010
IEEE
14 years 1 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 ...
CDC
2009
IEEE
14 years 1 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...
ISCAS
1999
IEEE
14 years 1 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...
ICCAD
1998
IEEE
14 years 1 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...