Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
parallelism checking » parallelism compiling, parallelism observing, parallelism boosting
checking programming » scheduling programming, checking programmable, threading programming
programming function » programming functional, programming functionals, programme function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
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:
7
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
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:
10
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
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:
15
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:
16
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... -- Bandit-Based Search for Constraint Programming.-Focused Random Walk with Configuration Checking and Break...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op