1
Published 2007
Table of Contents: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing...
View full text
Electronic eBook
8
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
9
Published 2014
Table of Contents: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
View full text
Electronic eBook
11
Table of Contents: ...Introduction to Multilayer Neural Networks -- Basics of Generalized Nets -- Simulation Process...
View full text
Electronic eBook
12
Subjects: ...Control, Robotics, Mechatronics. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Morphodynamical Prediction System on Cluster Computers -- Implementing a Parallel NetCDF Interface for Seamless...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ...-inspired Multi-net Paralleling Mechanism Based on Web Application -- DRN: A CORBA-Based Distributed...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Dynamic Geometry Environments -- Symbolic Computation of Petri Nets -- Dynaput: Dynamic Input...
View full text
Electronic eBook