1
Pubblicazione 2007
Sommario: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Testo
Elettronico eBook
3
Pubblicazione 2013
Sommario: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testo
Elettronico eBook
4
Pubblicazione 2008
Sommario: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Testo
Elettronico eBook
7
Pubblicazione 2014
Sommario: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
Testo
Elettronico eBook
8
Pubblicazione 2011
Sommario: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Testo
Elettronico eBook
9
Pubblicazione 2011
Sommario: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
Testo
Elettronico eBook
10
Pubblicazione 2008
Sommario: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... AND PLASTICITY. 6.NETWORK DYNAMICS AND EPILEPTIFORM ACTIVITY. 7.DRUG TESTING WITH MEAS. 7.1.Using Network...
Testo
Elettronico eBook
12
di Kozen, Dexter C., Kozen, Dexter C.
Pubblicazione 2006
Sommario: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Testo
Elettronico eBook
13
Pubblicazione 2006
Sommario: ... for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Testo
Elettronico eBook
15
Pubblicazione 2008
Sommario: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
Testo
Elettronico eBook
16
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Testo
Elettronico eBook
18
Pubblicazione 2005
Sommario: ... -- On Discriminative Joint Density Modeling -- Model-Based Online Learning of POMDPs -- Simple Test Strategies for Cost...
Testo
Elettronico eBook
19
Pubblicazione 2014
Sommario: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Testo
Elettronico eBook
20
Pubblicazione 2014
Sommario: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
Testo
Elettronico eBook