Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computational programming » computation programming, computational program, computing programming
generation computational » interaction computational, detection computational, general computational
programming java » programming jay, programming janet, programming graph
java arrays » data arrays
arrays a » arrays _
computational programming » computation programming, computational program, computing programming
generation computational » interaction computational, detection computational, general computational
programming java » programming jay, programming janet, programming graph
java arrays » data arrays
arrays a » arrays _
1
nork Horstmann, Cay S.
Argitaratua 2013
Gaiak:
“...Java (Computer program language)....”Argitaratua 2013
Cover image
Liburua
2
Argitaratua 2013
Aurkibidea:
“... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testu osoa
Baliabide elektronikoa
eBook
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”Testu osoa
Baliabide elektronikoa
eBook
6
Aurkibidea:
“...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2015
Aurkibidea:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2007
Aurkibidea:
“... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”Testu osoa
Baliabide elektronikoa
eBook
12
Aurkibidea:
“... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2014
Aurkibidea:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“... Reconfigurable Array -- Implementation of an UWB Impulse-Radio Acquisition and Despreading Algorithm on a Low...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2013
Aurkibidea:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...”Testu osoa
Baliabide elektronikoa
eBook