4880 search results - page 89 / 976 » Manuals as Structured Programs |
141
click to vote
RIDE
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a method of automatically creating hypermedia documents from conventional transcriptions of television programs. Using parallel text alignment techniques, the ...
120
Voted
EUROGP
2010
Springer
15 years 6 months ago
2010
Springer
In previous work, we have demonstrated that it is possible to use Genetic Programming to minimise the resource consumption of software, such as its power consumption or execution t...
149
click to vote
ENTCS
2006
15 years 3 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
120
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...