1210 search results - page 61 / 242 » Formal Techniques for Java Programs |
99
Voted
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
120
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Fast runtime reconfigurable hardware enables system designers to swap hardware into and out of an FPGA much as the pages of virtual memory are swapped into and out of virtual memor...
131
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
185
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
122
Voted
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...