606 search results - page 79 / 122 » Complexity Results for Checking Distributed Implementability |
119
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
101
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
143
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
129
click to vote
BIODATAMINING
2008
15 years 1 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
110
click to vote
OOPSLA
2010
Springer
15 years 5 days ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...