Sciweavers

1673 search results - page 168 / 335
» Generalized Elastic Scheduling
Sort
View
MOBIHOC
2008
ACM
16 years 6 months ago
On exploiting diversity and spatial reuse in relay-enabled wireless networks
Relay-enabled wireless networks (eg. WIMAX 802.16j) represent an emerging trend for the incorporation of multi-hop networking solutions for last-mile broadband access in next gene...
Karthikeyan Sundaresan, Sampath Rangarajan
HPDC
2009
IEEE
16 years 1 months ago
Resource co-allocation for large-scale distributed environments
Advances in the development of large scale distributed computing systems such as Grids and Computing Clouds have intensified the need for developing scheduling algorithms capable...
Claris Castillo, George N. Rouskas, Khaled Harfous...
EMSOFT
2006
Springer
15 years 10 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
ASM
2010
ASM
16 years 3 months ago
Synchronous Message Passing and Semaphores: An Equivalence Proof
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
Iain Craig, Egon Börger
ASM
2005
ASM
15 years 12 months ago
CoreASM: An Extensible ASM Execution Engine
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Gläss...