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