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
parallel names » parallel axis, parallel mesh, parallel age
names programs » names program, games programs, states programs
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel names » parallel axis, parallel mesh, parallel age
names programs » names program, games programs, states programs
function https » functions https, fiction https
1
Published 2012
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
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
5
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
6
Published 2007
Table of Contents:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”View full text
Electronic
eBook
7
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Length with Location Information to Align Monolingual Parallel Texts -- Web Search -- Effective Topic...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
17
Subjects:
“...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”View full text
Electronic
eBook