1724 search results - page 233 / 345 » Abstract Interpreters for Free |
126
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
195
click to vote
ADHOCNETS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper proposes a way to incorporate multimedia traffic in a real-time wireless communication network without jeopardizing the hard real-time traffic. This idea has ...
180
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
166
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
157
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...