1
Table of Contents: ... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...
View full text
Electronic eBook
4
by Shen, Alexander., Shen, Alexander.
Published 2010
Table of Contents: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...,  Plasmid-Free Competition -- Development of Computer Algorithms for Simulation of Grain Structures...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
12
Subjects: ...Computer programming....
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...Application Level Execution Model for Transparent Distributed Computing -- Software support...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...
View full text
Electronic eBook
16
by Liu, G.R., Liu, G.R., Gu, Y.T.
Published 2005
Table of Contents: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...
View full text
Electronic eBook
19
Table of Contents: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
View full text
Electronic eBook
20
Table of Contents: ... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...
View full text
Electronic eBook