2635 search results - page 187 / 527 » Computing multihomogeneous resultants using straight-line pr... |
116
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
196
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
106
Voted
SAC
2008
ACM
15 years 9 days ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
102
Voted
CONCURRENCY
1998
15 years 15 days ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...
93
Voted
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...