3256 search results - page 231 / 652 » Applications of Formal Methods to System Design and Verifica... |
149
click to vote
IFL
2000
Springer
15 years 10 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
173
click to vote
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...
161
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
124
click to vote
AAAI
1990
15 years 7 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
169
click to vote
PDCAT
2007
Springer
16 years 19 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...