1
Published 2008
Table of Contents: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...
View full text
Electronic eBook
4
Table of Contents: ... for Fabrication of Micromotors -- Common MEMS Actuators -- Parallel Plate Capacitors -- Comb Drives...
View full text
Electronic eBook
5
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...
View full text
Electronic eBook