Sciweavers

14244 search results - page 648 / 2849
» Modeling Program Predictability
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Handling errors in parallel programs based on happens before relations
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
Nicholas D. Matsakis, Thomas R. Gross
WSC
2000
15 years 8 months ago
Using simulation to evaluate cargo ship design on the LPD17 program
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
Joseph Hugan
ICLP
2009
Springer
16 years 7 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
IPPS
2006
IEEE
16 years 1 months ago
SmartNetSolve: high-level programming system for high performance grid computing
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
Thomas Brady, E. Konstantinov, Alexey L. Lastovets...
191
Voted
ECOOP
1995
Springer
15 years 10 months ago
Meta-level Programming with CodA
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
Jeff McAffer