Sciweavers

725 search results - page 90 / 145
» Escape Analysis for Java
Sort
View
FASE
2009
Springer
14 years 2 months ago
Logical Testing
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
Kathryn E. Gray, Alan Mycroft
EUROMICRO
2007
IEEE
14 years 2 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
AOSD
2006
ACM
14 years 1 months ago
A join point for loops in AspectJ
The current AspectJ join points represent locations in the code that are at the interface of the Java objects. However, not all the “things that happen”1 happen at the interfa...
Bruno Harbulot, John R. Gurd
CGO
2005
IEEE
14 years 1 months ago
Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
Rei Odaira, Kei Hiraki
ITICSE
2005
ACM
14 years 1 months ago
From objects-first to design-first with multimedia and intelligent tutoring
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
Sally H. Moritz, Fang Wei, Shahida M. Parvez, Glen...