Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming functionals » programming functional, programming function, programming fundamentals
program programming » programs programming, programmer programming, pram programming
functionals using » functions using, functionality using, function using
parallel program » parallel programs, parallel problem, parallel programming
using https » using http, nursing https, aging https
programming functionals » programming functional, programming function, programming fundamentals
program programming » programs programming, programmer programming, pram programming
functionals using » functions using, functionality using, function using
parallel program » parallel programs, parallel problem, parallel programming
using https » using http, nursing https, aging https
1
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2015
Inhoudsopgave:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2008
Inhoudsopgave:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2005
Inhoudsopgave:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2013
Inhoudsopgave:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2007
Inhoudsopgave:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2006
Inhoudsopgave:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2005
Inhoudsopgave:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2006
Inhoudsopgave:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2007
Inhoudsopgave:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2005
Inhoudsopgave:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2014
Inhoudsopgave:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Volledige tekst
Elektronisch
E-boek
18
Inhoudsopgave:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Gepubliceerd in 2014
Inhoudsopgave:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2006
Inhoudsopgave:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Volledige tekst
Elektronisch
E-boek