الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
منشور في 2013
جدول المحتويات:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2006
جدول المحتويات:
“... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... -- Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays -- A Geometric Approach...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
منشور في 2008
جدول المحتويات:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2015
جدول المحتويات:
“... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2006
جدول المحتويات:
“... -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2007
جدول المحتويات:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2008
جدول المحتويات:
“...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2007
جدول المحتويات:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”احصل على النص الكامل
الكتروني
كتاب الكتروني