1
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Papers -- Propositional Proof Complexity I -- Exponential Separations in a Hierarchy of Clause Learning...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Matching Require Exponential Size -- Testing Geometric Convexity -- Complexity of Linear Connectivity...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
View full text
Electronic eBook