2278 search results - page 69 / 456 » Specification Techniques for Automatic Performance Analysis ... |
154
click to vote
CORR
2010
Springer
15 years 4 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...
126
click to vote
SIGADA
2004
Springer
15 years 9 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...
153
click to vote
FM
2008
Springer
15 years 6 months 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...
153
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
155
click to vote
CHI
1997
ACM
15 years 8 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...