Sciweavers

941 search results - page 147 / 189
» Adaptive tuning in a dynamically changing resource environme...
Sort
View
87
Voted
ITCC
2002
IEEE
15 years 5 months ago
Self-Adjusted Network Transmission for Multimedia Data
High bandwidth requirements in multimedia transmission make the efficient use of limited network resource a challenging task, especially when multiple clients make their requests ...
Mei-Ling Shyu, Hongli Luo, Shu-Ching Chen
109
Voted
PVM
2005
Springer
15 years 6 months ago
A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
Stéphane Genaud, Choopan Rattanapoka
89
Voted
GRID
2010
Springer
14 years 10 months ago
Parallel SAT Solving on Peer-to-Peer Desktop Grids
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
Sven Schulz, Wolfgang Blochinger
103
Voted
CCGRID
2005
IEEE
15 years 6 months ago
A novel workload migration scheme for heterogeneous distributed computing
Dynamically partitioning of adaptive applications and migration of excess workload from overloaded processors to underloaded processors during execution are critical techniques ne...
Yawei Li, Zhiling Lan
126
Voted
ICFP
2005
ACM
16 years 15 days ago
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
Xinyu Feng, Zhong Shao