Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
23 function » 23 functions, 3 function, 3 functions
program 23 » program 3, program 2, program 13
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
23 function » 23 functions, 3 function, 3 functions
program 23 » program 3, program 2, program 13
1
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”View full text
Electronic
eBook
16
Published 2014
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”View full text
Electronic
eBook