Sciweavers

90 search results - page 9 / 18
» General directionality and the local behavior of argumentati...
Sort
View
SIGSOFT
2009
ACM
16 years 7 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
WIDM
2006
ACM
16 years 7 days ago
SRI: exploiting semantic information for effective query routing in a PDMS
The huge amount of data available from Internet information sources has focused much attention on the sharing of distributed information through Peer Data Management Systems (PDMS...
Federica Mandreoli, Riccardo Martoglia, Simona Sas...
POPL
1995
ACM
15 years 9 months ago
Parametric Program Slicing
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
John Field, G. Ramalingam, Frank Tip
SAC
2008
ACM
15 years 5 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
15 years 12 months ago
Path Planning for Permutation-Invariant Multi-Robot Formations
— In this paper we demonstrate path planning for our formation space that represents permutation-invariant multirobot formations. Earlier methods generally pre-assign roles for e...
Stephen Kloder, Seth Hutchinson