Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
parallel progress » parallel programs, parallel process, parallel progressive
progress program » programs program, process program, progression program
program function » programme function, programs functional, program foundation
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
parallel progress » parallel programs, parallel process, parallel progressive
progress program » programs program, process program, progression program
program function » programme function, programs functional, program foundation
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
1
Publicat 2006
Taula de continguts:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...”Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“... of Fit Tests for Reliability Modeling -- 19. On the Markov Three-state Progressive Model -- 20. Multi...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...”Obtenir text complet
Electrònic
eBook