1760 search results - page 167 / 352 » A System to Mark Programs Automatically |
145
click to vote
ISPAN
1997
IEEE
15 years 7 months ago
1997
IEEE
The thesis of this research is that the task of exposing the parallelism in a given application should be left to the algorithm designer, who has intimate knowledge of the applica...
117
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
109
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
137
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
122
click to vote
SIGGRAPH
2009
ACM
15 years 9 months ago
2009
ACM
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...