1
Gepubliceerd in 2010
Inhoudsopgave: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2013
Inhoudsopgave: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2012
Inhoudsopgave: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volledige tekst
Elektronisch E-boek
4
door Freeman, Adam., Freeman, Adam.
Gepubliceerd in 2010
Inhoudsopgave: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volledige tekst
Elektronisch E-boek
6
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
7
Gepubliceerd in 2005
Inhoudsopgave: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2005
Inhoudsopgave: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2006
Inhoudsopgave: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Volledige tekst
Elektronisch E-boek
10
Inhoudsopgave: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2007
Inhoudsopgave: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2015
Inhoudsopgave: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Volledige tekst
Elektronisch E-boek
15
door Karrenberg, Ralf., Karrenberg, Ralf.
Gepubliceerd in 2015
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2008
Inhoudsopgave: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2005
Inhoudsopgave: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2005
Inhoudsopgave: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Volledige tekst
Elektronisch E-boek
19
Inhoudsopgave: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Volledige tekst
Elektronisch E-boek
20
Inhoudsopgave: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
Volledige tekst
Elektronisch E-boek