1
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ...-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Computing -- 32. Design of Neural Network Model for Emotional Speech Recognition -- 33. Intelligent Decision...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for the Dual Wireless Ad Hoc Sensor Network -- ADIAN: A Distributed Intelligent Ad-Hoc Network -- A Mobility...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Scientific Computing Applications on the Imagine Stream Processor -- Enhancing Last-Level Cache Performance...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Evolutionary Computation: Application of an EA to Controller Design -- MEPIDS: Multi-Expression Programming...
View full text
Electronic eBook
18
Table of Contents: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...
View full text
Electronic eBook