1
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
3
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- Towards Building Knowledge Centres on the World Wide Web -- Navigation Modelling from a User Services...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information...
View full text
Electronic eBook