Sciweavers

5343 search results - page 163 / 1069
» Keyword programming in java
Sort
View
ENTCS
2007
134views more  ENTCS 2007»
15 years 2 months ago
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in princ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
134
Voted
TSE
2010
180views more  TSE 2010»
15 years 17 days ago
Aspect-Oriented Race Detection in Java
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
Eric Bodden, Klaus Havelund
AAAI
2000
15 years 3 months ago
Property Mapping: A Simple Technique for Mobile Robot Programming
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
Illah R. Nourbakhsh
JUCS
2008
189views more  JUCS 2008»
15 years 2 months ago
Structural Performance Evaluation of Multi-Agent Systems
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
Dariusz Król, Michal Zelmozer
NGC
2008
Springer
149views Communications» more  NGC 2008»
15 years 2 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi