Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution java » execution data, execution a, execution jpf
https » http
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution java » execution data, execution a, execution jpf
https » http
1
Έκδοση 2005
Πίνακας περιεχομένων:
“... Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2015
Πίνακας περιεχομένων:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2008
Πίνακας περιεχομένων:
“... -- Automatic Generation of Parallel Code for Hessian Computations -- Geographical Locality and Dynamic Data...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2015
Πίνακας περιεχομένων:
“... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2005
Πίνακας περιεχομένων:
“... Distribution of Tasks on a Commodity Grid -- Modeling Execution Time of Selected Computation and Communication...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων:
“....- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων:
“... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2006
Πίνακας περιεχομένων:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2007
Πίνακας περιεχομένων:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων:
“... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων:
“... Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2010
Πίνακας περιεχομένων:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2008
Πίνακας περιεχομένων:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2012
Πίνακας περιεχομένων:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2015
Πίνακας περιεχομένων:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων:
“... Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2005
Πίνακας περιεχομένων:
“...Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο