בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
equations computing » equations computer
parallel function » parallel functional, parallel auction, parallel union
program equations » problem equations, propres equations, programs evaluations
function program » functional program, functions programs, functional programs
https » http
equations computing » equations computer
parallel function » parallel functional, parallel auction, parallel union
program equations » problem equations, propres equations, programs evaluations
function program » functional program, functions programs, functional programs
https » http
1
יצא לאור 2006
תוכן הענינים:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2010
תוכן הענינים:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
תוכן הענינים:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
תוכן הענינים:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
תוכן הענינים:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2007
תוכן הענינים:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2012
תוכן הענינים:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
יצא לאור 2013
תוכן הענינים:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני