2496 search results - page 282 / 500 » On covering by translates of a set |
168
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
208
click to vote
ADAEUROPE
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
187
click to vote
COMPGEOM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
233
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
155
click to vote
SACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...