Rekommenderade teman
Rekommenderade teman
Menade du:
parallel automatic » parallel automata, parallel atomic, parallel arithmetic
functions function » functions functions, function function, functions functional
automatic program » automatic programming, static program, automatic process
program functions » programs functional, program foundations, programme function
function https » functions https, fiction https
parallel automatic » parallel automata, parallel atomic, parallel arithmetic
functions function » functions functions, function function, functions functional
automatic program » automatic programming, static program, automatic process
program functions » programs functional, program foundations, programme function
function https » functions https, fiction https
1
Publicerad 2010
Innehållsförteckning:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2010
Innehållsförteckning:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... Vectorization -- A Balanced Approach to Application Performance Tuning -- Automatically Tuning Parallel...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2008
Innehållsförteckning:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Hämta fulltext
Elektronisk
E-bok
8
Ämnen:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2010
Innehållsförteckning:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2005
Innehållsförteckning:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2008
Innehållsförteckning:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2015
Innehållsförteckning:
“... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2015
Innehållsförteckning:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2008
Innehållsförteckning:
“... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2006
Innehållsförteckning:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hämta fulltext
Elektronisk
E-bok
16
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicerad 2015
Innehållsförteckning:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Hämta fulltext
Elektronisk
E-bok
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Hämta fulltext
Elektronisk
E-bok
18
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicerad 2006
Innehållsförteckning:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2013
Innehållsförteckning:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2005
Innehållsförteckning:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hämta fulltext
Elektronisk
E-bok