Sciweavers

3544 search results - page 374 / 709
» Software Testing
Sort
View
OTM
2007
Springer
16 years 26 days ago
An Evaluation of Triple-Store Technologies for Large Data Stores
Abstract. This paper presents a comparison of performance of various triplestore technologies currently in either production release or beta test. Our comparison of triple-store te...
Kurt Rohloff, Mike Dean, Ian Emmons, Dorene Ryder,...
COLING
2000
15 years 8 months ago
The Use of Instrumentation in Grammar Engineering
This paper explores the usefltllmss of a technique from software engineering, (:ode instrumentation, tbr the developlnent of large-scale natural language grammars, hltbrlnation ab...
Norbert Bröker
EDM
2009
179views Data Mining» more  EDM 2009»
15 years 4 months ago
Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
Philip I. Pavlik Jr., Hao Cen, Kenneth R. Koedinge...
PLDI
2006
ACM
16 years 21 days ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...