1
Gepubliceerd in 2007
Inhoudsopgave: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2015
Inhoudsopgave: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2013
Inhoudsopgave: ... for Adults with ADHD -- Neuropsychological Assessment of ADHD and Executive Function Deficits in Adults...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2012
Inhoudsopgave: ...: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution...
Volledige tekst
Elektronisch E-boek
8
Inhoudsopgave: ... Function -- The Decision Function -- Evaluation Issues -- Autonomic Mediation in Cilia -- Future...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2010
Inhoudsopgave: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2012
Inhoudsopgave: ... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2006
Inhoudsopgave: ... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2008
Inhoudsopgave: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2005
Inhoudsopgave: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2005
Inhoudsopgave: ... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2013
Inhoudsopgave: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2010
Inhoudsopgave: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Volledige tekst
Elektronisch E-boek
19
door Karrenberg, Ralf., Karrenberg, Ralf.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2007
Inhoudsopgave: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volledige tekst
Elektronisch E-boek