1
Published 2008
Table of Contents: ... -- XHaskell – Adding Regular Expression Types to Haskell -- Partial Parsing: Combining Choice with Commitment...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... and Planar Pseudo-Billiard Systems -- On the Importance of Parallelism for Quantum Computation...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Biological Membranes -- Membrane Computing in Connex Environment -- Regular Papers -- Skin Output in P...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... forcing and hyperimmunity in reverse mathematics -- Completely regular Bishop spaces -- Computing Equality...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Invited Talks -- Regular Labelings and Geometric Structures -- Algorithmic Aspects of Secure...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... on Power Supply Line -- Data Integration in Computer Distributed Systems -- Load Balancing...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Transport Simulation Code with High Performance Fortran on a Vector-Parallel Computer -- Distributed...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- On Semilinear Hyperbolic Functional Equations -- A Fast Parallel Algorithm for Delay Partial Differential...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Regularization -- Analysis and Application of Computer Technology on Architectural Space Lighting Visual Design...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Injection for Improving Genetic Network Models -- Parallel Computation and Visualization Tools...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
View full text
Electronic eBook