Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
argumentation function » argumentation diction, segmentation function, argumentation foundations
programs argumentation » problems argumentation, program documentation, programs implementation
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
argumentation function » argumentation diction, segmentation function, argumentation foundations
programs argumentation » problems argumentation, program documentation, programs implementation
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
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
4
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
5
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
6
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”View full text
Electronic
eBook