Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
parallel programming » parallel processing
programming implicit » programming explicit, programming simplified, programming implications
implicit function » implicit functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel programming » parallel processing
programming implicit » programming explicit, programming simplified, programming implications
implicit function » implicit functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Veröffentlicht 2006
Inhaltsangabe:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Volltext
Elektronisch
E-Book
2
von Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Veröffentlicht 2012
Inhaltsangabe:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Veröffentlicht 2012
Volltext
Elektronisch
E-Book
3
Veröffentlicht 2015
Inhaltsangabe:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2010
Inhaltsangabe:
“... Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2006
Inhaltsangabe:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2015
Inhaltsangabe:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Volltext
Elektronisch
E-Book
7
Veröffentlicht 2005
Inhaltsangabe:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Volltext
Elektronisch
E-Book
8
Veröffentlicht 2014
Inhaltsangabe:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Volltext
Elektronisch
E-Book
9
Veröffentlicht 2008
Inhaltsangabe:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Volltext
Elektronisch
E-Book
10
Veröffentlicht 2007
Inhaltsangabe:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”Volltext
Elektronisch
E-Book
11
Veröffentlicht 2007
Inhaltsangabe:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Volltext
Elektronisch
E-Book
12
Veröffentlicht 2008
Inhaltsangabe:
“... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”Volltext
Elektronisch
E-Book
13
Veröffentlicht 2008
Inhaltsangabe:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Volltext
Elektronisch
E-Book
14
Veröffentlicht 2015
Inhaltsangabe:
“... -- Cogitative Priming with Self-Speech: Implicit Memory Intervention for Improvement in Daily Motor Function...”Volltext
Elektronisch
E-Book
15
Veröffentlicht 2013
Inhaltsangabe:
“... Using Genetic Programming -- Implicit Fitness Sharing for Evolutionary Synthesis of License Plate...”Volltext
Elektronisch
E-Book
16
Veröffentlicht 2006
Inhaltsangabe:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Volltext
Elektronisch
E-Book
17
Veröffentlicht 2007
Inhaltsangabe:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Volltext
Elektronisch
E-Book