الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
practices functionality » graphics functionality, practice functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
programs practices » program practice
parallel programs » parallel programming
function https » functions https, fiction https
practices functionality » graphics functionality, practice functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
programs practices » program practice
parallel programs » parallel programming
function https » functions https, fiction https
1
منشور في 2006
جدول المحتويات:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2013
جدول المحتويات:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
جدول المحتويات:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2013
جدول المحتويات:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2014
جدول المحتويات:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
منشور في 2010
جدول المحتويات:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
جدول المحتويات:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
19
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
جدول المحتويات:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني



