336 search results - page 18 / 68 » Program Speedups in Theory and Practice |
104
Voted
ECAIW
1994
Springer
15 years 4 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
81
Voted
ITNG
2006
IEEE
15 years 6 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
117
click to vote
SLP
1994
15 years 1 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
121
Voted
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
112
Voted
DAGSTUHL
2001
15 years 1 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...