3047 search results - page 294 / 610 » Randomized Parallel Selection |
100
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a task duplication based scalable scheduling algorithm for Symmetric Multiprocessors (SMP), called S3MP (Scalable Scheduling for SMP), to address the problem of task sc...
119
Voted
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
113
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Studies of the fault-tolerance of graphs have tended to largely concentrate on classical graph connectivity. This measure is very basic, and conveys very little information for des...
145
click to vote
ICDCS
1993
IEEE
15 years 6 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...
120
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...