3333 search results - page 173 / 667 » Abstract Proof Search |
132
Voted
CONCURRENCY
2002
15 years 3 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
129
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat s...
167
click to vote
AUSAI
2008
Springer
15 years 6 months ago
2008
Springer
Planning collision-free paths for multiple robots traversing a shared space is a problem that grows combinatorially with the number of robots. The naive centralised approach soon ...
115
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
178
click to vote
SISAP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We propose a strategy to perform query processing on P2P similarity search systems based on peers and superpeers. We show that by approximating global but resumed inform...