Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
proceedings program » proceedings from
java proceedings » jaya proceedings, data proceedings, iaea proceedings
processing java » processing japan, processing james, processing j
program java » program jarak, program a, program jom
https » http
proceedings program » proceedings from
java proceedings » jaya proceedings, data proceedings, iaea proceedings
processing java » processing japan, processing james, processing j
program java » program jarak, program a, program jom
https » http
1
Publié 2005
Table des matières:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Accéder au texte intégral
Électronique
eBook
2
Publié 2014
Table des matières:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”Accéder au texte intégral
Électronique
eBook
4
Publié 2008
Table des matières:
“... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”Accéder au texte intégral
Électronique
eBook
5
Publié 2010
Table des matières:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”Accéder au texte intégral
Électronique
eBook
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publié 2005
Table des matières:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Accéder au texte intégral
Électronique
eBook
8
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publié 2007
Table des matières:
“...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”Accéder au texte intégral
Électronique
eBook
9
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publié 2010
Table des matières:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Accéder au texte intégral
Électronique
eBook
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publié 2013
Table des matières:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”Accéder au texte intégral
Électronique
eBook
14
Publié 2014
Table des matières:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”Accéder au texte intégral
Électronique
eBook
16
Publié 2005
Table des matières:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Accéder au texte intégral
Électronique
eBook
17
Publié 2012
Table des matières:
“... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”Accéder au texte intégral
Électronique
eBook
20
Publié 2013
Table des matières:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”Accéder au texte intégral
Électronique
eBook