4325 search results - page 657 / 865 » Incremental computation with names |
168
click to vote
STOC
1998
ACM
15 years 10 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
167
click to vote
PARCO
1997
15 years 7 months ago
1997
This article is devoted to the run-time redistribution of arrays that are distributed in a blockcyclic fashion over a multidimensional processor grid. While previous studies have ...
153
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
179
click to vote
SIAMCOMP
2010
15 years 4 months ago
2010
The classical direct product theorem for circuits says that if a Boolean function f : {0, 1}n → {0, 1} is somewhat hard to compute on average by small circuits, then the correspo...
210
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...