Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
interfaces computing » interfaces comparing, interfaces computer, interface comparing
programming program » programming programmed, programming problem, programming problems
program abstracts » programme abstracts
abstracts https » abstracts themes
computing programming » computer programming, computers programming
interfaces computing » interfaces comparing, interfaces computer, interface comparing
programming program » programming programmed, programming problem, programming problems
program abstracts » programme abstracts
abstracts https » abstracts themes
1
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Abductive Inference for Reasoning about Heaps -- A Sound Floating-Point Polyhedra Abstract Domain...”View full text
Electronic
eBook
12
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
13
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
14
15
Published 2007
Table of Contents:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”View full text
Electronic
eBook
20
Table of Contents:
“... -- The TVPI Abstract Domain -- The Integral TVPI Domain -- Interfacing Analysis and Numeric Domain...”
View full text
View full text
Electronic
eBook