258 search results - page 31 / 52 » Compiler Optimization-Space Exploration |
ECSCW
2001
13 years 11 months ago
2001
: New computer applications, such as the infamous "Napster" system enable the sharing of music over the Internet, with limited communication around this sharing activity ...
IJCAI
2001
13 years 11 months ago
2001
The algorithm presented here, BCC, is an enhancement of the well known Backtrack used to solve constraint satisfaction problems. Though most backtrack improvements rely on propaga...
COLING
2000
13 years 11 months ago
2000
This paper explores the usefltllmss of a technique from software engineering, (:ode instrumentation, tbr the developlnent of large-scale natural language grammars, hltbrlnation ab...
CACM
2008
13 years 8 months ago
2008
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...