1
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
2
Table of Contents: ... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Pair-Correlation in the Time and Frequency Domain -- Dependence of Spike-Count Correlations on Spike...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Accumulations on Distributed-Memory Parallel Computers -- SymGrid-Par: Designing a Framework for Executing...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... and Application of Function Optimization Based on Artificial Fish Swarm Algorithm -- Robust Hand Tracker Using...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Reviews -- Using Semi-supervised Learning for Question Classification -- Query Similarity Computing Based...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... of Discrete Logarithm -- Distributed Crypto-computing -- Efficient Polynomial Operations in the Shared...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Avoiding Full Extension Field Arithmetic in Pairing Computations -- ECC2K-130 on Cell CPUs -- Side-Channel...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... for NTRU -- High-Speed Parallel Software Implementation of the ? T Pairing -- Refinement of Miller’s...
View full text
Electronic eBook