1
Published 2011
Table of Contents: ...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
3
Table of Contents: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
View full text
Electronic eBook
8
by Hawkes, Rob., Hawkes, Rob.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...
View full text
Electronic eBook
10
Table of Contents: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Monitoring and Debugging Using the Mercury Monitoring System -- Interactive Visualization of Grid Monitoring...
View full text
Electronic eBook