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