1304 search results - page 208 / 261 » Model Checking C Programs Using F-SOFT |
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
115
Voted
FORMATS
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
131
Voted
VTS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
142
Voted
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
Set-associative caches are traditionally managed using hardwarebased lookup and replacement schemes that have high energy overheads. Ideally, the caching strategy should be tailor...
118
Voted
DBPL
1999
Springer
15 years 6 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...