Sciweavers

874 search results - page 110 / 175
» Predicting the Running Times of Parallel Programs by Simulat...
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
Peter R. Cappello, Ömer Egecioglu
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
PODC
2010
ACM
15 years 10 months ago
Brief announcement: exponential speed-up of local algorithms using non-local communication
We demonstrate how to leverage a system’s capability for allto-all communication to achieve an exponential speed-up of local algorithms despite bandwidth and memory restrictions...
Christoph Lenzen, Roger Wattenhofer
ICRA
2003
IEEE
130views Robotics» more  ICRA 2003»
15 years 11 months ago
Design of a redundantly actuated leg mechanism
− In humanoid robot system, many human-body motions such as walking, running, jumping, etc require large power. To achieve a high power-to-weight ratio, this paper proposes a new...
Byung Rok So, Byung-Ju Yi, Whee Kuk Kim, Sang-Rok ...
HPDC
2007
IEEE
16 years 14 days ago
Failure-aware checkpointing in fine-grained cycle sharing systems
Fine-Grained Cycle Sharing (FGCS) systems aim at utilizing the large amount of idle computational resources available on the Internet. Such systems allow guest jobs to run on a ho...
Xiaojuan Ren, Rudolf Eigenmann, Saurabh Bagchi