Sciweavers

3148 search results - page 153 / 630
» On the Dynamic Initialization of Parallel Computers
Sort
View
115
Voted
CHI
2008
ACM
16 years 3 months ago
Peephole pointing: modeling acquisition of dynamically revealed targets
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
Xiang Cao, Jacky Jie Li, Ravin Balakrishnan
BIRTHDAY
2010
Springer
15 years 3 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
121
Voted
SAC
2008
ACM
15 years 2 months ago
Optimized dynamic semantic composition of services
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...
Sorin M. Iacob, João Paulo A. Almeida, Mari...
ICS
2000
Tsinghua U.
15 years 7 months ago
A simulation-based study of scheduling mechanisms for a dynamic cluster environment
Scheduling of processes onto processors of a parallel machine has always been an important and challenging area of research. The issue becomes even more crucial and di cult as we ...
Yanyong Zhang, Anand Sivasubramaniam, José ...
PPOPP
2010
ACM
16 years 20 days ago
Scalable communication protocols for dynamic sparse data exchange
Many large-scale parallel programs follow a bulk synchronous parallel (BSP) structure with distinct computation and communication phases. Although the communication phase in such ...
Torsten Hoefler, Christian Siebert, Andrew Lumsdai...