Sciweavers

595 search results - page 15 / 119
» Lightweight Static Capabilities
Sort
View
CSREAESA
2006
13 years 9 months ago
FEMPI: A Lightweight Fault-tolerant MPI for Embedded Cluster Systems
- Ever-increasing demands of space missions for data returns from their limited processing and communications resources have made the traditional approach of data gathering, data c...
Rajagopal Subramaniyan, Vikas Aggarwal, Adam Jacob...
PLDI
2006
ACM
14 years 1 months ago
Free-Me: a static analysis for automatic individual object reclamation
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
Samuel Z. Guyer, Kathryn S. McKinley, Daniel Framp...
ICCS
2007
Springer
14 years 1 months ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
EUROSYS
2007
ACM
14 years 4 months ago
Sweeper: a lightweight end-to-end system for defending against fast worms
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huan...
HICSS
2005
IEEE
113views Biometrics» more  HICSS 2005»
14 years 1 months ago
Static Collapse and Topological Cuts
This paper explores the relationships between power system static collapse and flows in topological cuts. It seeks a “local” detection of this “global” phenomenon. The pap...
Santiago Grijalva, Peter W. Sauer