Sciweavers

745 search results - page 127 / 149
» A Visual Development Environment for Parallel Applications
Sort
View
ICDCS
2010
IEEE
13 years 4 months ago
Versatile Stack Management for Multitasking Sensor Networks
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
Rui Chu, Lin Gu, Yunhao Liu, Mo Li, Xicheng Lu
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
13 years 11 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
ICPP
2006
IEEE
14 years 1 months ago
A Flexible and Dynamic Infrastructure for MPI Tool Interoperability
The MPI standard provides tool builders with an efficient profiling interface, PMPI. Although many tools have successfully used this interface, it has three major drawbacks: a n...
Martin Schulz, Bronis R. de Supinski
ESCIENCE
2006
IEEE
14 years 1 months ago
Provisioning and Scheduling Resources for World-Wide Data-Sharing Services
Grid computing is becoming the natural way to aggregate and share large and heterogeneous sets of resources. However, grid development and acceptance hinge on proving that grids r...
Alexandru Iosup, Pawel Garbacki, Dick H. J. Epema
GRID
2004
Springer
14 years 26 days ago
On The Feasibility of Running Entity-Level Simulations on Grid Platforms
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...
Alan Su, Francine Berman, Henri Casanova