Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
general computing » neural computing, general computer, dental computing
programmed java » programming java, program java, programmed dna
https » http
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
general computing » neural computing, general computer, dental computing
programmed java » programming java, program java, programmed dna
https » http
1
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java...”View full text
Electronic
eBook
6
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
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Job Scheduling Policy for High Throughput Grid Computing -- High Performance Task Scheduling Algorithm...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- An Enhanced Parallel Version of Kiva–3V, Coupled with a 1D CFD Code, and Its Use in General Purpose Engine...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook