Sciweavers

711 search results - page 3 / 143
» Scalable and Modular Scheduling
Sort
View
CONCURRENCY
2000
70views more  CONCURRENCY 2000»
13 years 5 months ago
Javelin++: scalability issues in global computing
Javelin is a Java-based infrastructure for global computing. This paper presents Javelin++, an extension of Javelin, intended to support a much larger set of computational hosts. ...
Michael O. Neary, Sean P. Brydon, Paul Kmiec, Sami...
CPE
1998
Springer
123views Hardware» more  CPE 1998»
13 years 9 months ago
A Modular and Scalable Simulation Tool for Large Wireless Networks
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...
Rajive Bagrodia, Mario Gerla
VSTTE
2010
Springer
13 years 3 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
KDD
2007
ACM
132views Data Mining» more  KDD 2007»
14 years 5 months ago
A scalable modular convex solver for regularized risk minimization
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and different r...
Choon Hui Teo, Alex J. Smola, S. V. N. Vishwanatha...
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
13 years 11 months ago
Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots
— We describe a novel shape formation algorithm for ensembles of 2-dimensional lattice-arrayed modular robots, based on the manipulation of regularly shaped voids within the latt...
Michael DeRosa, Seth Copen Goldstein, Peter Lee, J...