10159 search results - page 552 / 2032 » System Design Validation Using Formal Models |
162
click to vote
SBCCI
2006
ACM
16 years 11 days ago
2006
ACM
This paper presents a transistor optimization methodology for low-power analog integrated CMOS circuits, relying on the physics-based gm/ID characteristics as a design optimizatio...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
175
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
173
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
—A number of analytical models exists that capture various properties of the BitTorrent protocol. However, until now virtually all of these models have been based on the assumpti...
139
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
— We present a novel way of modeling wheeled vehicles on outdoor terrains. Adapting concepts from dextrous manipulation, we precisely model the way that three dimensional wheels ...