6274 search results - page 988 / 1255 » Proofs, Programs, Processes |
157
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
158
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
140
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
115
click to vote
ISCA
2006
IEEE
15 years 9 months ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
174
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...