Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program proceedings » programs proceedings, programme proceedings, programmes proceedings
processing program » processing programs, processing programmed, proceedings program
proceedings https » proceedings fates, proceedings citrus, proceedings ethics
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
program proceedings » programs proceedings, programme proceedings, programmes proceedings
processing program » processing programs, processing programmed, proceedings program
proceedings https » proceedings fates, proceedings citrus, proceedings ethics
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
1
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”View full text
Electronic
eBook
5
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
6
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”View full text
Electronic
eBook
13
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
14
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”View full text
Electronic
eBook
15
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”View full text
Electronic
eBook
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Solver over 3-D Dodecahedron Partitions -- GridMD: Program Architecture for Distributed Molecular...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”View full text
Electronic
eBook