Sciweavers

2062 search results - page 86 / 413
» Hardware Objects for Java
Sort
View
MICRO
1995
IEEE
72views Hardware» more  MICRO 1995»
13 years 11 months ago
Dynamic rescheduling: a technique for object code compatibility in VLIW architectures
Lack of object code compatibility in VLIW architectures is a severe limit to their adoption as a generalpurpose computing paradigm. Previous approaches include hardware and softwa...
Thomas M. Conte, Sumedh W. Sathaye
ECOOP
2005
Springer
14 years 1 months ago
First-Class Relationships in an Object-Oriented Language
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
Gavin M. Bierman, Alisdair Wren
CBSE
2010
Springer
14 years 6 days ago
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
Simon Allier, Houari A. Sahraoui, Salah Sadou, St&...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 8 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
ECAI
2004
Springer
14 years 1 months ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner