1
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
3
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
6
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
7
Published 2005
Table of Contents: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Community Core Members Based on Gene Expression Programming -- Posters -- Integration of a Cryptographic...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook