443 search results - page 19 / 89 » An improved slicer for Java |
CAV
2004
Springer
13 years 11 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
ENTCS
2008
13 years 7 months ago
2008
We present a Java library for mobile phones which tracks and controls at runtime the use of potentially costly resources, such as premium rate text messages. This improves on the ...
IICAI
2007
13 years 8 months ago
2007
In recent years statistical word alignment models have been widely used for various Natural Language Processing (NLP) problems. In this paper we describe a platform independent and...
SIGCSE
2004
ACM
14 years 25 days ago
2004
ACM
Various methods have been proposed in the past to improve student learning by introducing new styles of working with assignments. These include problem-based learning, use of case...
OTM
2004
Springer
14 years 23 days ago
2004
Springer
Cache memories are mandatory to bridge the growing gap between CPU speed and main memory access time. Standard cache organizations improve the average execution time but are diffi...