Sciweavers

7508 search results - page 34 / 1502
» A new approach for distributed computing in avionics systems
Sort
View
ISPAN
1999
IEEE
14 years 1 months ago
Evaluation of a Semi-Static Approach to Mapping Dynamic Iterative Tasks onto Heterogeneous Computing Systems
To minimize the execution time of an iterative application in a heterogeneous parallel computing environment, an appropriate mapping scheme is needed for matching and scheduling th...
Yu-Kwong Kwok, Anthony A. Maciejewski, Howard Jay ...
BIRTHDAY
2010
Springer
13 years 9 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
IPPS
2002
IEEE
14 years 1 months ago
Load Balancing in Distributed Systems: An Approach Using Cooperative Games
In this paper we formulate the static load balancing problem in single class job distributed systems as a cooperative game among computers. It is shown that the Nash Bargaining So...
Daniel Grosu, Anthony T. Chronopoulos, Ming-Ying L...
CORR
2008
Springer
134views Education» more  CORR 2008»
13 years 9 months ago
Algorithmic Based Fault Tolerance Applied to High Performance Computing
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
George Bosilca, Remi Delmas, Jack Dongarra, Julien...
APSEC
1998
IEEE
14 years 1 months ago
A Computing Model for Distributed Processing Systems and Its Application
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yosh...