10707 search results - page 336 / 2142 » Designing executable abstractions |
108
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper deals with the design of an API for building distributed parallel applications in C++ which embody strict multithreaded computations. The API is enhanced with ...
137
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. In this paper we suggest a strategy to design job scheduling systems. To this end, we first split a scheduling system into three components: Scheduling policy, objective ...
133
click to vote
DSVIS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
124
click to vote
ROBOCUP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
135
click to vote
AC
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper examines proposals for three cryptographic primitives: block ciphers, stream ciphers, and hash functions. It provides an overview of the design principles of a...