1
Publicado em 2013
Sumário: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Freeman, Adam., Freeman, Adam.
Publicado em 2010
Sumário: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Bjørner, Dines., Bjørner, Dines.
Publicado em 2006
Sumário: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Bjørner, Dines., Bjørner, Dines.
Publicado em 2006
Sumário: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2007
Sumário: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Por Karrenberg, Ralf., Karrenberg, Ralf.
Publicado em 2015
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Sumário: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2008
Sumário: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... Cover on Unit Squares -- Improved Lower Bounds for the Universal and a priori TSP -- Proximity...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... Elementary Active Membranes with an Application to the P Conjecture -- Small Universal Spiking Neural P...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
Obter o texto integral
Recurso Electrónico livro electrónico