1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
6
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
7
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
8
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
9
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
10
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
11
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
12
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
13
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
14
Published 2007
Table of Contents: ... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...
View full text
Electronic eBook
15
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
16
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Power Consumptions of an IEEE 802.11 Multiple Rate Ad Hoc Network -- Energy Efficient Scheduling...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...
View full text
Electronic eBook