Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs composition » program composition, programs competition, program recomposition
composition programs » compensation programs, composition problem, compression programs
program evolution » program evalution, program evaluation, programming evolution
program execution » program evaluation, process execution, project execution
https » http
programs composition » program composition, programs competition, program recomposition
composition programs » compensation programs, composition problem, compression programs
program evolution » program evalution, program evaluation, programming evolution
program execution » program evaluation, process execution, project execution
https » http
1
Published 2008
Table of Contents:
“... SIMD Interpreter for Genetic Programming on GPU Graphics Cards -- Partitioned Incremental Evolution...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
6
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
7
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
8
Table of Contents:
“...Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... and Dynamic AOP for Evolution in Embedded Software Systems -- Session: Structural Composition -- Patterns...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
16
by Koohi, Sina Zangbari, Abdul Hamid, Nor Asilah Wati, Othman, Mohamed, Ibragimov, Gafurjan
Published 2020
“... of the scheduling and mapping procedure. If the composition of the parallel application is known a prior...”Published 2020
View full text
Article
17
Published 2008
Table of Contents:
“... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Geologic evolution of the Canarian Islands of Lanzarote, Fuerteventura, Gran Canaria and La Gomera...”View full text
Electronic
eBook
20
Table of Contents:
“...Part I Overview -- Introduction -- Prerequisites -- Part II Programming -- Abstract Workflow...”
View full text
View full text
Electronic
eBook