Sciweavers

3169 search results - page 119 / 634
» A General Framework for Large Scale Systems Development
Sort
View
IPPS
2008
IEEE
15 years 11 months ago
Overcoming scaling challenges in biomolecular simulations across multiple platforms
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
Abhinav Bhatele, Sameer Kumar, Chao Mei, James C. ...
ECAI
2010
Springer
15 years 5 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
QSHINE
2009
IEEE
15 years 11 months ago
Integration of OMF-Based Testbeds in a Global-Scale Networking Facility
PlanetLab is a global scale platform for experimentation of new networking applications in a real environment. It consists of several nodes, offered by academic institutions or co...
Giovanni Di Stasi, Stefano Avallone, Roberto Canon...
ROBOCOMM
2007
IEEE
15 years 10 months ago
An inexpensive, off-the-shelf platform for networked embedded robotics
— Recent years have witnessed the proliferation of a new class of devices, commonly referred to as Networked Embedded Devices. Their increasingly low cost and small size make the...
Mirko Bordignon, Enrico Pagello, Alessandro Saffio...
ESOP
2012
Springer
14 years 4 days ago
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
Kento Emoto, Sebastian Fischer, Zhenjiang Hu