1617 search results - page 74 / 324 » Modeling and evaluation of hardware software designs |
181
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
159
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
151
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
154
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
The recent demand for system-on-chip RF mixed-signal design and aggressive supply-voltage reduction require chip-level accurate analysis of both the substrate and power delivery s...
174
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...