1205 search results - page 74 / 241 » Program Extraction from Large Proof Developments |
125
click to vote
HPDC
2000
IEEE
15 years 6 months ago
2000
IEEE
The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
126
click to vote
WEA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
167
click to vote
WOSP
1998
ACM
15 years 5 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
107
click to vote
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...