1
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Representation and Reasoning -- On Defining Functional Dependencies in XML Schema -- The Lower and the Upper...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... on Hilbert-Huang Transform and Moments of Characteristic Functions with Wavelet Decomposition -- Intellectual...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... ModOnions Protocol -- Secret Handshakes with Revocation Support -- Cryptanalysis of Hash Function...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Functional Class from Sparse and Imbalanced Data Sets -- Bioinformatics Data Source Integration Based...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Invited Papers -- A Survey of Some Recent Results on Bent Functions -- A Survey of the Merit Factor...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... with Adaptively Defined Fitness Function in MRS Quantification -- A Neural-Network Clustering-Based Algorithm...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- On the Implementation of Gentle Phone’s Function Based on PSOLA Algorithm -- A Novel Blind Equalizer Based on Dual-Mode...
View full text
Electronic eBook
15
Published 2006
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Function Projective Synchronization of Unknown Cohen-Grossberg Neural Networks with Time Delays and Noise...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... and Formulation -- Effects of Utility Functions on Network Response Time and Optimization -- Features Detection...
View full text
Electronic eBook