Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
function validation » functional validation, function realization, function evaluation
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
program function » programme function, programs functional, program foundation
validation https » evaluation https, animation https, visualization https
function validation » functional validation, function realization, function evaluation
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
program function » programme function, programs functional, program foundation
validation https » evaluation https, animation https, visualization https
1
Publié 2008
Table des matières:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”Accéder au texte intégral
Électronique
eBook
2
Publié 2014
Table des matières:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Accéder au texte intégral
Électronique
eBook
4
Publié 2008
Table des matières:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Accéder au texte intégral
Électronique
eBook
5
Publié 2013
Table des matières:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Accéder au texte intégral
Électronique
eBook
8
Publié 2008
Table des matières:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Accéder au texte intégral
Électronique
eBook
9
Publié 2010
Table des matières:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”Accéder au texte intégral
Électronique
eBook
10
Publié 2011
Table des matières:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...”Accéder au texte intégral
Électronique
eBook
13
Publié 2015
Table des matières:
“...Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy...”Accéder au texte intégral
Électronique
eBook
14
Sujets:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
15
Publié 2012
Table des matières:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Accéder au texte intégral
Électronique
eBook
16
Publié 2014
Table des matières:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”Accéder au texte intégral
Électronique
eBook
20
Publié 2015
Table des matières:
“... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”Accéder au texte intégral
Électronique
eBook