320 search results - page 4 / 64 » The Volcano Optimizer Generator: Extensibility and Efficient... |
MTV
2005
IEEE
13 years 11 months ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
SIGMOD
2001
ACM
14 years 6 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
TVCG
2010
13 years 4 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
WWW
2009
ACM
14 years 6 months ago
2009
ACM
Tasks recognizing named entities such as products, people names, or locations from documents have recently received significant attention in the literature. Many solutions to thes...
JPDC
2006
13 years 6 months ago
2006
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions arising in quantum chemistry computati...