Sciweavers

4934 search results - page 606 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
135
Voted
JSSPP
1997
Springer
15 years 8 months ago
PScheD: Political Scheduling on the CRAY T3E
Large parallel processing environments present serious administrative challenges if high utilization of the available resources is a goal. In many cases there is also the need to ...
Richard N. Lagerstrom, Stephan K. Gipp
CCGRID
2008
IEEE
15 years 10 months ago
A Technique for Lock-Less Mirroring in Parallel File Systems
—As parallel file systems span larger and larger numbers of nodes in order to provide the performance and scalability necessary for modern cluster applications, the need for fau...
Bradley W. Settlemyer, Walter B. Ligon III
136
Voted
EUROPAR
2006
Springer
15 years 7 months ago
Toward a Definition of and Linguistic Support for Partial Quiescence
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew ...
128
Voted
COORDINATION
2009
Springer
16 years 4 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
ATAL
2009
Springer
15 years 8 months ago
Norm-based behaviour modification in BDI agents
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
Felipe Rech Meneguzzi, Michael Luck