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