217 search results - page 28 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
91
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
105
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
63
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
113
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...
101
click to vote
FTEDA
2006
15 years 13 days ago
2006
As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing process...