Sciweavers

3676 search results - page 198 / 736
» Scalable component abstractions
Sort
View
PVM
2010
Springer
15 years 4 months ago
Load Balancing for Regular Meshes on SMPs with MPI
Abstract. Domain decomposition for regular meshes on parallel computers has traditionally been performed by attempting to exactly partition the work among the available processors ...
Vivek Kale, William Gropp
SIGSOFT
2010
ACM
15 years 4 months ago
Instant code clone search
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat s...
Mu-Woong Lee, Jong-Won Roh, Seung-won Hwang, Sungh...
SAC
2005
ACM
16 years 4 days ago
The Pegasus portal: web based grid computing
is a planning framework for mapping abstract workflows for execution on the Grid. This paper presents the implementation of a web-based portal for submitting workflows to the Grid...
Gurmeet Singh, Ewa Deelman, Gaurang Mehta, Karan V...
FDL
2007
IEEE
15 years 10 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
NCA
2010
IEEE
15 years 1 months ago
Anatomy-based organization of morphology and control in self-reconfigurable modular robots
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
David Johan Christensen, Jason Campbell, Kasper St...