Sciweavers

2658 search results - page 164 / 532
» Autonomic Computing: An Overview
Sort
View
ECOOPW
2001
Springer
15 years 9 months ago
Formal Techniques for Java Programs
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb...
ICCS
2001
Springer
15 years 9 months ago
GEA: A Complete, Modular System for Generating Evaluative Arguments
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
Giuseppe Carenini
ECOOPW
1998
Springer
15 years 8 months ago
Evaluation of Object-Oriented Reflective Models
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
Walter Cazzola
IPPS
1997
IEEE
15 years 8 months ago
Alias Analysis for Fortran90 Array Slices
Most alias analyses produce approximate results in the presence of array slices. This may lead to ine cient code which is of concern, especially, in languages like Fortran90. In t...
K. Gopinath, R. Seshadri
COMPCON
1994
IEEE
15 years 8 months ago
Low Power Hardware for a High Performance PDA
The first product in the Newton family operates under severe constraints in the areas of performance, cost, heat dissipation, power consumption, scalability, size and weight. This...
Michael Culbert