الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
parallel programming » parallel processing
programming valid » programming via, programming vax, programming quality
function function » function functional, functions functional, function dysfunction
valid function » valued function, value function, aid function
function https » functions https, fiction https
parallel programming » parallel processing
programming valid » programming via, programming vax, programming quality
function function » function functional, functions functional, function dysfunction
valid function » valued function, value function, aid function
function https » functions https, fiction https
1
منشور في 2008
جدول المحتويات:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2008
جدول المحتويات:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2005
جدول المحتويات:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2013
جدول المحتويات:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2011
جدول المحتويات:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2006
جدول المحتويات:
“... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2023
جدول المحتويات:
“... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”Open Access Book. Read online
الكتروني
كتاب الكتروني
14
منشور في 2014
جدول المحتويات:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2015
جدول المحتويات:
“...Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2015
جدول المحتويات:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
الموضوعات:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2012
جدول المحتويات:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”احصل على النص الكامل
الكتروني
كتاب الكتروني