1
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... : chains, braids, confluence and T#x0026;E -- Platform Independent Unit Tests Generator -- Fuzzy Document...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook