1
Published 2006
Table of Contents: ... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating...
View full text
Electronic eBook
4
Published 2007
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Symbols in Complex Diagrams -- Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams...
View full text
Electronic eBook
8
by Friesen, Jeff., Friesen, Jeff.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...
View full text
Electronic eBook
14
Published 2007
Subjects: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ..., Abstractions and Autism -- Is That How Everyone Really Feels? Emotional Contagion with Masking for Virtual...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
View full text
Electronic eBook
18
Published 2011
Table of Contents: ... -- Vision-Based Robotic Graphic Programming System -- Integrating Activity Theory for Context Analysis...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices -- Expressing Business Process...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Protected Video Surveillance System Using Adaptive Visual Abstraction -- Distribution-Based Similarity...
View full text
Electronic eBook