1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
3
Table of Contents: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... for Narrowband Network: Partial Bitplane Alternating Shift -- Using Route Probing to Derive Link Traffic Load...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- On Semilinear Hyperbolic Functional Equations -- A Fast Parallel Algorithm for Delay Partial Differential...
View full text
Electronic eBook
9
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Electric Arc in Low Voltage Vacuum Circuit Breakers -- Accurate Modeling of Complete Functional RF Blocks...
View full text
Electronic eBook
11
Table of Contents: ...Foundations of Analysis -- Sets, Topology and Metrics -- Elementary Functional Analysis -- Measure...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Method for Oscillatory Functions over an Infinite Interval by Substitution and Taylor Series...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- Proposal and Preliminary Investigation of a Fitness Function for Partial Differential Models...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Blind and Partially Blind Signatures Without Random Oracles -- Key Exchange Using Passwords and Long...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...
View full text
Electronic eBook
19
Subjects: ...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ...) for the Experimental Validation of Quantitative Protein Network Models -- Characterization of Kinase Inhibitors Using...
View full text
Electronic eBook