Search Sciweavers | Sciweavers

56

SIGMOD
2008
ACM

143views Database» more SIGMOD 2008»

XML query optimization in the presence of side effects

14 years 8 months ago

The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...

Giorgio Ghelli, Nicola Onose, Kristoffer Hø...

claim paper

Read More »

30

click to vote

TACAS
2005
Springer

121views Algorithms» more TACAS 2005»

FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

14 years 2 months ago

Download www.cs.iastate.edu

Abstract. We present the FocusCheck model-checking tool for the veriﬁcation and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...

Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...

claim paper

Read More »

20

click to vote

WILF
2009
Springer

216views Fuzzy Logic» more WILF 2009»

Barycentric Algebras and Gene Expression

14 years 3 months ago

Download orion.math.iastate.edu

Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...

Anna B. Romanowska, Jonathan D. H. Smith

claim paper

Read More »

35

click to vote

EMSOFT
2008
Springer

173views Software Engineering» more EMSOFT 2008»

Active property checking

13 years 10 months ago

Download research.microsoft.com

Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...

Patrice Godefroid, Michael Y. Levin, David A. Moln...

claim paper

Read More »

20

click to vote

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

14 years 2 months ago