1
Table of Contents: ... -- Functional Test Generation -- Future Directions -- Conclusions....
View full text
Electronic eBook
2
Table of Contents: ...Image Models for Fractals -- Fractal Models for Image Synthesis – a Survey -- Iterated Function...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... for Rapid Generation of Runtime Configurations -- Session 7: Applications 3 -- Reconfigurable Computing...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... the Achievement in Student Learning Outcomes in PBL Programmes -- 2. A Backward Glance, the Forward Gaze...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... -- Memristors and Memristive Devices for Neuromorphic Computing -- Bio-inspired Neural Networks -- Self...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
13
Published 2014
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... with Programmable Scalar Contribution Function -- Real-Time locating Method for Palmvein Image Acquisition -- Real...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- The Structure of some C*-Algebras Generated by N Idempotents -- Transfer Functions for “Curved” Conservative...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Accelerated Vision System -- Systemic Computation Using Graphics Processors -- Session 4: Implementations...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Methods for Mesh Generation -- Differentiability of Energy Functionals for Unilateral Problems in Domains...
View full text
Electronic eBook