Sciweavers

632 search results - page 96 / 127
» Specifying Algorithm Visualizations in Terms of Data Flow
Sort
View
EMSOFT
2006
Springer
14 years 26 days ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
PDPTA
2003
13 years 10 months ago
Managing Flocking Objects with an Octree Spanning a Parallel Message-Passing Computer Cluster
We investigate the management of flocking mobile objects using a parallel message-passing computer cluster. An octree, a data structure well-known for use in managing a 3D space, ...
Thomas E. Portegys, Kevin M. Greenan
CORR
2010
Springer
114views Education» more  CORR 2010»
13 years 9 months ago
Montage: a grid portal and software toolkit for science-grade astronomical image mosaicking
: Montage is a portable software toolkit for constructing custom, science-grade mosaics by composing multiple astronomical images. The mosaics constructed by Montage preserve the a...
Joseph C. Jacob, Daniel S. Katz, G. Bruce Berriman...
TKDE
2008
231views more  TKDE 2008»
13 years 9 months ago
Personalized Concept-Based Clustering of Search Engine Queries
A major problem of current Web search is that search queries are usually short and ambiguous, and thus are insufficient for specifying the precise user needs. To alleviate this pro...
Kenneth Wai-Ting Leung, Wilfred Ng, Dik Lun Lee
SIGSOFT
2010
ACM
13 years 7 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan