Sciweavers

5570 search results - page 403 / 1114
» Applications of Fair Testing
Sort
View
OOPSLA
2004
Springer
16 years 1 days ago
Chianti: a tool for change impact analysis of java programs
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryd...
EMSOFT
2008
Springer
15 years 8 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
EDUTAINMENT
2007
Springer
16 years 26 days ago
Visualization Learning for Visually Impaired People
Virtual Environments (VE) are mainly visual experiments that exclude visually impaired people. In this paper we present an application that should allow almost everybody to “seeâ...
Patrick Salamin, Daniel Thalmann, Fréd&eacu...
DEXA
2005
Springer
90views Database» more  DEXA 2005»
16 years 7 days ago
Transaction Management with Integrity Checking
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
Davide Martinenghi, Henning Christiansen
PADL
2001
Springer
15 years 11 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...