2278 search results - page 69 / 456 » Specification Techniques for Automatic Performance Analysis ... |
107
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
SIGADA
2004
Springer
15 years 4 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
105
click to vote
FM
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
101
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
CHI
1997
ACM
15 years 3 months ago
1997
ACM
For the huge amounts of audio and video material that could usefully be included in digital libraries, the cost of producing human-generated annotations and meta-data is prohibiti...