2493 search results - page 314 / 499 » Tool Support for Design by Contract |
MSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Computer architecture is often taught by having students use software to design and simulate individual pieces of a computer processor. We have developed a method that will take t...
119
click to vote
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
122
click to vote
LCPC
2009
Springer
15 years 3 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
FPL
2001
Springer
15 years 3 months ago
2001
Springer
Designers of safety-critical VLSI systems are asking for effective tools for evaluating and validating their designs. Fault Injection is commonly adopted for this task, and its eff...
EUROMICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...