3218 search results - page 273 / 644 » Timed Extensions for SDL |
168
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
152
click to vote
JSSPP
2005
Springer
16 years 2 days ago
2005
Springer
Our main goal in this paper is to study the scheduling of parallel BSP tasks on clusters of computers. We focus our attention on special characteristics of BSP tasks, which can use...
179
click to vote
PCI
2005
Springer
16 years 2 days ago
2005
Springer
The increasing popularity of all-optical networks has led to extensive research on the routing and wavelength assignment problem, also termed as the Routing and Path Coloring probl...
152
click to vote
SAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
157
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
In an “uncertain database”, an object o is associated with a multi-dimensional probability density function (pdf), which describes the likelihood that o appears at each positi...