837 search results - page 5 / 168 » Proof Development with OMEGA |
SIGMETRICS
1990
ACM
14 years 1 months ago
1990
ACM
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
BMEI
2009
IEEE
13 years 11 months ago
2009
IEEE
The goal of this paper is to develop haptic-visual interaction training system for aircraft fuel supply simulation. Operators can use this system to simulate refueling aircraft in ...
CAV
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...