514 search results - page 82 / 103 » New parallel programming abstractions and the role of compil... |
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
82
Voted
EDO
2005
Springer
15 years 3 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
81
Voted
CONCURRENCY
2002
14 years 9 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
IUI
2010
ACM
15 years 4 months ago
2010
ACM
We describe a code reuse tool for use in the Looking Glass IDE, the successor to Storytelling Alice [17], which enables middle school students with little to no programming experi...
109
click to vote
FPCA
1995
15 years 1 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...