10159 search results - page 437 / 2032 » System Design Validation Using Formal Models |
142
click to vote
ANSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
140
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
138
click to vote
HCSE
2010
15 years 2 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
142
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
129
click to vote
FCCM
2005
IEEE
15 years 10 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...