Sciweavers

16822 search results - page 279 / 3365
» Designing Simulation Experiments
Sort
View
DAC
2006
ACM
16 years 7 months ago
Fast analysis of structured power grid by triangularization based structure preserving model order reduction
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
Hao Yu, Yiyu Shi, Lei He
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Improving simulation-based verification by means of formal methods
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...
Görschwin Fey, Rolf Drechsler
ICRA
2003
IEEE
121views Robotics» more  ICRA 2003»
15 years 12 months ago
Experimental evaluation of the dynamic simulation of biped walking of humanoid robots
We have been developing a software platform, called OpenHRP, for humanoid robotics which consists of a dynamic simulator and motion control library for humanoid robots. This paper...
Hirohisa Hirukawa, Fumio Kanehiro, Shuuji Kajita, ...
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
15 years 12 months ago
An Evaluation of Applying Use Cases to Construct Design versus Validate Design
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
Erik Syversen, Bente Anda, Dag I. K. Sjøber...
CHI
2006
ACM
16 years 7 months ago
HotWire: an apparatus for simulating primary tasks in wearable computing
In this paper we present a novel apparatus for simulating real world primary tasks typically found in wearable computing. Additionally, we report on a preliminary interruption stu...
Hendrik Witt, Mikael Drugge