Zoekresultaten - parallel testing case function function https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...”
Volledige tekst

Elektronisch E-boek

2

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Gepubliceerd in 2007

Inhoudsopgave: “... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...”
Volledige tekst

Elektronisch E-boek

3

Physical Unclonable Functions in Theory and Practice

door Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Gepubliceerd in 2013

Inhoudsopgave: “...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Volledige tekst

Elektronisch E-boek

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...”
Volledige tekst

Elektronisch E-boek

5

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Gepubliceerd in 2010

Inhoudsopgave: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Volledige tekst

Elektronisch E-boek

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Gepubliceerd in 2008

Inhoudsopgave: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Volledige tekst

Elektronisch E-boek

7

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Gepubliceerd in 2006

Inhoudsopgave: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Volledige tekst

Elektronisch E-boek

8

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Volledige tekst

Elektronisch E-boek

9

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Gepubliceerd in 2015

Inhoudsopgave: “...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...”
Volledige tekst

Elektronisch E-boek

10

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Gepubliceerd in 2010

Inhoudsopgave: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
Volledige tekst

Elektronisch E-boek

11

Design of Embedded Control Systems

Gepubliceerd in 2005

Inhoudsopgave: “... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...”
Volledige tekst

Elektronisch E-boek

12

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Gepubliceerd in 2010

Inhoudsopgave: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Volledige tekst

Elektronisch E-boek

13

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Volledige tekst

Elektronisch E-boek

14

Advanced Techniques in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volledige tekst

Elektronisch E-boek

15

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

door Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Gepubliceerd in 2007

Inhoudsopgave: “... -- Design for Test -- Case Studies And Commentaries -- Metric-Driven Design Verification: Why Is My Customer...”
Volledige tekst

Elektronisch E-boek

16

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Gepubliceerd in 2015

Inhoudsopgave: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Volledige tekst

Elektronisch E-boek