10707 search results - page 567 / 2142 » Designing executable abstractions |
111
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract— In this paper we study bipartite, first ordernetworks where the nodes take on leader or follower roles. In particular, we let the leaders’ positions be static and as...
190
click to vote
EUROPAR
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. In modern parallel and distributed systems, the time for exchanging data is usually larger than that for computing elementary operations. Consequently, these communicatio...
172
click to vote
AIIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core r...
226
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
173
click to vote
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...