3500 search results - page 457 / 700 » Implementing Java on Clusters |
109
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...
134
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
112
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
108
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
114
click to vote
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...