Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel i » parallel _, parallel a
i programs » c programs, 2 programs, 3 programs
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel i » parallel _, parallel a
i programs » c programs, 2 programs, 3 programs
1
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
5
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”View full text
Electronic
eBook
14
Table of Contents:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Level-1 Caches -- A Case for Dual-Mapping One-Way Caches -- Cache Write-Back Schemes for Embedded...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...”View full text
Electronic
eBook