1
Published 2005
Table of Contents: ... with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...-Based Motion Capture for Crash Test Video Analysis -- Efficient Tracking as Linear Program on Weak...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... -- Sequential Vector Packing -- A Tighter Analysis of Set Cover Greedy Algorithm for Test Set -- A More...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Subtrees from XML Data -- Synthetic Environment Representational Semantics Using the Web Ontology Language...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Test Cases Minimization for Object Oriented Programs....
View full text
Electronic eBook