3758 search results - page 372 / 752 » A Complete Subsumption Algorithm |
195
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
131
click to vote
EUROPAR
2007
Springer
16 years 27 days ago
2007
Springer
STL dictionaries like map and set are commonly used in C++ programs. We consider parallelizing two of their bulk operations, namely the construction from many elements, and the ins...
134
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
158
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
158
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...