395 search results - page 45 / 79 » On the Effectiveness of GC in Java |
132
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
113
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
109
click to vote
WCRE
2007
IEEE
15 years 8 months ago
2007
IEEE
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
109
click to vote
IMSCCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper will focus on issues relating to the building of multimedia presentations under a certain framework through a newly developed e-learning tool. The issues addressed incl...