Sciweavers

1814 search results - page 42 / 363
» D-Stampede: Distributed Programming System for Ubiquitous Co...
Sort
View
ASPLOS
2004
ACM
14 years 1 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
13 years 10 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
HPCN
1998
Springer
14 years 2 days ago
DISCWorld: A Distributed High Performance Computing Environment
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
Kenneth A. Hawick, Heath A. James, Craig J. Patten...
PDPTA
1997
13 years 9 months ago
Evolving Software Tools for New Distributed Computing Environments
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
Markus Pizka, Claudia Eckert, Sascha Groh
IPPS
2007
IEEE
14 years 2 months ago
Programming Distributed Memory Sytems Using OpenMP
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
Ayon Basumallik, Seung-Jai Min, Rudolf Eigenmann