2947 search results - page 543 / 590 » Analyzing Program Analyses |
91
Voted
RECOMB
2006
Springer
15 years 11 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
116
click to vote
SODA
2010
ACM
15 years 8 months ago
2010
ACM
The minimum latency problem (MLP) is a well-studied variant of the traveling salesman problem (TSP). In the MLP, the server's goal is to minimize the average latency that the...
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
99
Voted
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
IEEEPACT
2007
IEEE
15 years 5 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...