5109 search results - page 763 / 1022 » On Learning Limiting Programs |
122
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
One of the most distinctive features of the JavaT M programming language is the ability to specify class loading policies. Despite the popularity of class loaders, little has been ...
198
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
137
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
150
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents and reports on a VLIW code compression technique based on vector Hamming distances [19]. It investigates the appropriate selection of dictionary vectors such t...
138
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...