Sciweavers

1815 search results - page 157 / 363
» Cloud Computing: An Overview
Sort
View
GI
2004
Springer
15 years 12 months ago
Code Generator Testing in Practice
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...
Ingo Stürmer, Mirko Conrad
JSSPP
2004
Springer
15 years 12 months ago
Scheduling on the Top 50 Machines
The well-known TOP500 list ranks the 500 most powerful high-performance computers. However, the list lacks details about the job management and scheduling on these machines. As thi...
Carsten Ernemann, Martin Krogmann, Joachim Lepping...
182
Voted
ECOOPW
2001
Springer
15 years 11 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 11 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 10 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