2403 search results - page 468 / 481 » Using the WinWin Spiral Model: A Case Study |
156
click to vote
SIROCCO
2008
15 years 7 months ago
2008
In the effort to understand the algorithmic limitations of computing by a swarm of robots, the research has focused on the minimal capabilities that allow a problem to be solved. ...
152
click to vote
SPAA
2010
ACM
15 years 5 months ago
2010
ACM
We study the communication complexity of rumor spreading in the random phone-call model. Suppose n players communicate in parallel rounds, where in each round every player calls a...
161
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
253
click to vote
GIS
2005
ACM
16 years 6 months ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
176
click to vote
ISPAN
2009
IEEE
16 years 7 days ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...