5085 search results - page 897 / 1017 » Multidimensional Design by Examples |
144
click to vote
PADL
2012
Springer
14 years 13 days ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
159
click to vote
PPOPP
2012
ACM
14 years 13 days ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
177
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
Today’s data centers face extreme challenges in providing low latency. However, fair sharing, a principle commonly adopted in current congestion control protocols, is far from o...
158
click to vote
IJCAI
1989
15 years 6 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
192
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Peer-to-peer technologies are increasingly becoming the medium of choice for delivering media content, both professional and homegrown, to large user populations. Indeed, current ...