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