Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
transformation function » transformation functions, transformation functional, transformations functions
program transformation » graph transformation
parallelized program » parallelized programs, parameterized program, parallel program
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
Beeld op de omslag
door Comninos, Peter., Comninos, Peter.
Gepubliceerd in 2006
Inhoudsopgave: “... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
15
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... Schur Functions -- Trace-Class Weyl Transforms....”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
16
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
Gepubliceerd in 2015
Inhoudsopgave: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... with Formal Analysis, Transformation and Dynamicity -- Safety and Response-Time Analysis of an Automotive...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op