2036 search results - page 349 / 408 » A generic type-and-effect system |
103
Voted
CN
2006
15 years 19 days ago
2006
Abstract. We present a scalable and flexible grouping service based on concast and best-effort single-source multicast. The service assigns participating end systems to specific gr...
112
click to vote
ENTCS
2006
15 years 18 days ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
112
click to vote
JSS
2008
15 years 16 days ago
2008
We present a new Web services-based framework for building componentized digital libraries (DLs). We particularly demonstrate how traditional RDBMS technology can be easily deploy...
132
click to vote
GRID
2007
Springer
15 years 16 days ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
95
Voted
PPL
2008
15 years 16 days ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...