2335 search results - page 381 / 467 » Functional Differentiation of Computer Programs |
112
Voted
ISHPC
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Writing e cient iterative solvers for irregular, sparse matrices in HPF is hard. The locality in the computations is unclear, and for e ciency we use storage schemes that...
121
click to vote
EDO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present Damon, a decentralized wide-area runtime aspect middleware built on top of a structured peer-topeer (p2p) substrate and a dynamic Aspect Oriented Programm...
109
click to vote
SIGGRAPH
1987
ACM
15 years 5 months ago
1987
ACM
Ray tracing produces point samples of an image from a 3-D model. Constructing an antialiased digital picture from point samples is difficult without resorting to extremely high sa...
115
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
102
click to vote
ENTCS
2008
15 years 2 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...