3256 search results - page 438 / 652 » Applications of Formal Methods to System Design and Verifica... |
185
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
174
click to vote
ISPAN
1997
IEEE
15 years 9 months ago
1997
IEEE
The thesis of this research is that the task of exposing the parallelism in a given application should be left to the algorithm designer, who has intimate knowledge of the applica...
150
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
166
click to vote
ECRTS
1999
IEEE
15 years 9 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
149
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...