3844 search results - page 267 / 769 » Distributed Meeting Scheduling |
166
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
188
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
174
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Data-intensive applications in the Condor High Throughput Computing environment can place heavy demands on network resources for checkpointing and remote data access. We have deve...
167
click to vote
IEEEPACT
1999
IEEE
15 years 11 months ago
1999
IEEE
An asynchronous superscalar architecture is presented based on a novel architectural feature called instruction compounding. This enables efficient dynamic scheduling and forwardi...
160
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
As the use of virtual machines (VMs) for scientific applications becomes more common, we encounter the need to integrate VM provisioning models into the existing resource managemen...