Sciweavers

3868 search results - page 654 / 774
» A Distributed Parallel Programming Framework
Sort
View
AIMSA
2008
Springer
15 years 7 months ago
Incorporating Learning in Grid-Based Randomized SAT Solving
Abstract. Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating learning, kno...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
85
Voted
CLUSTER
2007
IEEE
15 years 7 months ago
Scheduling malleable applications in multicluster systems
— In large-scale distributed execution environments such as multicluster systems and grids, resource availability may vary due to resource failures and because resources may be a...
Jeremy Buisson, Omer Ozan Sonmez, Hashim H. Mohame...
ISORC
2005
IEEE
15 years 6 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
88
Voted
DCOSS
2005
Springer
15 years 6 months ago
Infrastructure-Establishment from Scratch in Wireless Sensor Networks
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...
Stefan Funke, Nikola Milosavljevic
MIDDLEWARE
2004
Springer
15 years 6 months ago
Adaptive resource discovery for ubiquitous computing
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...
Rae Harbird, Stephen Hailes, Cecilia Mascolo