4469 search results - page 689 / 894 » Dynamic Program Slicing |
221
click to vote
APPT
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
169
click to vote
ECOOP
2005
Springer
16 years 16 days 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 ...
252
Voted
ESOP
2005
Springer
16 years 16 days 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 ...
200
click to vote
WABI
2005
Springer
16 years 14 days ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
204
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...