Sciweavers

398 search results - page 12 / 80
» Design and Implementation of Bytecode-based Java Slicing Sys...
Sort
View
LCPC
2004
Springer
14 years 22 days ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
Lin Li, Clark Verbrugge
CSREAEEE
2006
138views Business» more  CSREAEEE 2006»
13 years 8 months ago
An English-Chinese Learning System Using J2ME and Java Servlets
Mobile phones offer a variety of interesting and exciting applications. A mobile phone can be a communication device, an entertainment device, and a learning device. J2ME is a pop...
Chin-Chih Chang, Swapna Sunkara
ICCD
2006
IEEE
138views Hardware» more  ICCD 2006»
14 years 4 months ago
Design and Implementation of Software Objects in Hardware
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...
Fu-Chiung Cheng, Hung-Chi Wu
JTRES
2010
ACM
13 years 7 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 27 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser