1205 search results - page 138 / 241 » Program Extraction from Large Proof Developments |
112
click to vote
IIWAS
2008
15 years 2 months ago
2008
The growing trends towards integrating legacy applications with new systems in a network-centric environment has introduced yet another level of complexity beyond those we witness...
132
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseu...
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...
102
click to vote
CVPR
1997
IEEE
15 years 5 months ago
1997
IEEE
Two of the most critical requirementsin support of producing reliableface-recognition systems are a large database of facial images and a testing procedure to evaluate systems. Th...
121
click to vote
HICSS
1994
IEEE
15 years 5 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...