637 search results - page 113 / 128 » Inconsistency-Tolerant Integrity Checking |
160
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
154
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
173
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
146
click to vote
KDD
2000
ACM
15 years 7 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
132
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...