3441 search results - page 538 / 689 » Parallel Logic Programming Systems |
153
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
205
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
161
click to vote
IJAIT
2006
15 years 5 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
159
click to vote
PAM
2012
Springer
14 years 17 days ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
146
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...