Sciweavers

1642 search results - page 143 / 329
» SPINning Parallel Systems Software
Sort
View
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
14 years 2 months ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...
ECBS
1996
IEEE
155views Hardware» more  ECBS 1996»
14 years 6 days ago
Model-Integrated Program Synthesis Environment
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
Janos Sztipanovits, Gabor Karsai, Hubertus Franke
ICS
2011
Tsinghua U.
12 years 11 months ago
Scalable fine-grained call path tracing
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
Nathan R. Tallent, John M. Mellor-Crummey, Michael...
CIKM
2010
Springer
13 years 6 months ago
Adaptive query execution for data management in the cloud
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
Adrian Daniel Popescu, Debabrata Dash, Verena Kant...
IPPS
2005
IEEE
14 years 1 months ago
Dynamic Scalable Visualization for Collaborative Scientific Applications
Science disciplines are experiencing a data avalanche. As a result, scientific research is limited by data analysis and visualization capabilities. We have been working closely wi...
Kai Li, Matthew A. Hibbs, Grant Wallace, Olga G. T...