1210 search results - page 94 / 242 » Formal Techniques for Java Programs |
155
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
199
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
119
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
184
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
122
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...