4276 search results - page 305 / 856 » Techniques for Empirical Validation |
138
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract—This paper presents a systematic approach to generate walking primitive databases for anthropomorphic 3D–bipeds allowing step length adaptation, direction changes and ...
136
Voted
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Hardware-timestamping is essential for achieving tight synchronization in networking applications. This mechanism is selectively used on few high-cost tailored systems. Actual μP...
147
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a BIST scheme for testing onchip AD and DA converters. We discuss on-chip generation of linear ramps as test stimuli, and propose techniques for measurin...
169
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
A method for modeling complex CMOS gates by the reduction of each gate to an effective equivalent inverter is introduced. The conducting and parasitic behavior of parallel and ser...
177
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...