1
Published 2014
Table of Contents: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook