1
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...Analysis and Design of Power Line Filter using Transmission Parameters -- Studies...
View full text
Electronic eBook