Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality practical » functionality spatial, rationality practical, function practical
program functionality » protein functionality, programs functional, supra functionality
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
practical https » practice https, practical hazops, practical hints
functionality practical » functionality spatial, rationality practical, function practical
program functionality » protein functionality, programs functional, supra functionality
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
practical https » practice https, practical hazops, practical hints
1
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”View full text
Electronic
eBook
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
13
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
14
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”View full text
Electronic
eBook
18
Table of Contents:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
View full text
View full text
Electronic
eBook
19
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
20
Table of Contents:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
View full text
View full text
Electronic
eBook