2794 search results - page 133 / 559 » A New Architecture for Automated Modelling |
DAC
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents an automated analog synthesis tool for topology generation and subsequent circuit sizing. Though sizing is indispensable, the paper mainly concentrates on topo...
115
click to vote
IT
2008
14 years 11 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
SOSYM
2008
14 years 11 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
DAC
2004
ACM
16 years 15 days ago
2004
ACM
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...