5015 search results - page 752 / 1003 » Model Checking a Path |
145
click to vote
ISVLSI
2006
IEEE
16 years 19 days ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
181
click to vote
DCOSS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...
133
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
191
click to vote
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
185
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...