412 search results - page 53 / 83 » The documentary structure of source code |
158
click to vote
SOFTVIS
2010
ACM
14 years 11 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
130
Voted
HPCC
2009
Springer
15 years 6 months ago
2009
Springer
Usual cache optimisation techniques for high performance computing are difficult to apply in embedded VLIW applications. First, embedded applications are not always well structur...
165
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
217
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...