Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functionality securing » functionality setting, functionality using, functionality testing
testing functionality » testing functional, missing functionality, testbench functionality
parallel function » parallel functional, parallel auction, parallel union
function testing » function tests, function test, mutation testing
securing https » security https, security http, securing rtp
functionality securing » functionality setting, functionality using, functionality testing
testing functionality » testing functional, missing functionality, testbench functionality
parallel function » parallel functional, parallel auction, parallel union
function testing » function tests, function test, mutation testing
securing https » security https, security http, securing rtp
1
Aurkibidea:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2015
Aurkibidea:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2014
Aurkibidea:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2015
Aurkibidea:
“...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2014
Aurkibidea:
“... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2014
Aurkibidea:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]