Sciweavers

6796 search results - page 57 / 1360
» Java for Embedded Systems
Sort
View
CC
2003
Springer
201views System Software» more  CC 2003»
14 years 1 months ago
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...
Etienne Gagnon, Laurie J. Hendren
ENTCS
2006
160views more  ENTCS 2006»
13 years 10 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
PLPV
2010
ACM
14 years 3 days ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
ICSE
2003
IEEE-ACM
14 years 10 months ago
Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto, M...
SENSYS
2009
ACM
14 years 5 months ago
Darjeeling, a feature-rich VM for the resource poor
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
Niels Brouwers, Koen Langendoen, Peter Corke