1
Veröffentlicht 2010
Inhaltsangabe: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2012
Inhaltsangabe: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volltext
Elektronisch E-Book
4
von Freeman, Adam., Freeman, Adam.
Veröffentlicht 2010
Inhaltsangabe: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2015
Inhaltsangabe: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Volltext
Elektronisch E-Book
17
von Karrenberg, Ralf., Karrenberg, Ralf.
Veröffentlicht 2015
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2007
Inhaltsangabe: ... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...
Volltext
Elektronisch E-Book