Sciweavers

3544 search results - page 431 / 709
» Software Testing
Sort
View
DAC
1998
ACM
16 years 7 months ago
Efficient Coloring of a Large Spectrum of Graphs
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
Darko Kirovski, Miodrag Potkonjak
SIGSOFT
2002
ACM
16 years 7 months ago
Isolating cause-effect chains from computer programs
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
Andreas Zeller
CHI
2009
ACM
16 years 7 months ago
Bringing web 2.0 to government research: a case study
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...
Francesca A. Barrientos, Elizabeth A. Foughty, Daw...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Using Bayesian statistical methods to determine the level of error in large spreadsheets
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
Leslie Bradley, Kevin McDaid
ICDAR
2009
IEEE
16 years 1 months ago
Metadata Extraction from PDF Papers for Digital Library Ingest
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...
Simone Marinai