الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs valued » programs based, programs advanced, programs viruses
valued function » valued functions, value function, value functions
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs valued » programs based, programs advanced, programs viruses
valued function » valued functions, value function, value functions
function https » functions https, fiction https
1
منشور في 2007
جدول المحتويات:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2013
جدول المحتويات:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
جدول المحتويات:
“... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
9
الموضوعات:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2015
جدول المحتويات:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2015
جدول المحتويات:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2015
جدول المحتويات:
“... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2012
جدول المحتويات:
“... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2014
جدول المحتويات:
“... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2015
جدول المحتويات:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”احصل على النص الكامل
الكتروني
كتاب الكتروني