6939 search results - page 1265 / 1388 » Algorithm Engineering for Parallel Computation |
229
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
195
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...
135
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
121
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
155
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...