11909 search results - page 2212 / 2382 » The Scheme Programming Language |
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
176
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
177
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
168
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
164
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We study the random composition of a small family of O(n3 ) simple permutations on {0, 1}n . Specifically we ask what is the number of compositions needed to achieve a permutatio...