Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program specialization » program specification, programs specifications
specialization https » specialization stop, specialization rata, specialization patterns
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program specialization » program specification, programs specifications
specialization https » specialization stop, specialization rata, specialization patterns
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
5
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”View full text
Electronic
eBook
7
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...”
View full text
View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Function of Frame Rate and Resolution Changes -- How to Build an Objective Model for Packet Loss Effect...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Part-of-Speech Tagging Using Stochastic Techniques -- Phrase-Structure Grammars in Prolog -- Partial...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... of modular forms and noncommutative modular symbols -- Structures membranaires....”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook