1
Horstmann, Cay S.
出版 2013
主题: ...Java (Computer program language)....
Cover image
图书
2
出版 2013
书本目录: ... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...
获取全文
电子 电子书
3
出版 2005
书本目录: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
获取全文
电子 电子书
4
出版 2006
书本目录: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
获取全文
电子 电子书
5
出版 2010
书本目录: ... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...
获取全文
电子 电子书
6
Simon, Axel., Simon, Axel.
出版 2008
书本目录: ...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...
获取全文
电子 电子书
7
出版 2015
书本目录: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
获取全文
电子 电子书
8
出版 2007
书本目录: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
获取全文
电子 电子书
9
出版 2005
书本目录: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
获取全文
电子 电子书
10
出版 2005
书本目录: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
获取全文
电子 电子书
11
出版 2007
书本目录: ... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...
获取全文
电子 电子书
12
书本目录: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
获取全文
电子 电子书
13
出版 2014
书本目录: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
获取全文
电子 电子书
14
出版 2010
书本目录: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
获取全文
电子 电子书
15
出版 2008
书本目录: ... Reconfigurable Array -- Implementation of an UWB Impulse-Radio Acquisition and Despreading Algorithm on a Low...
获取全文
电子 电子书
16
出版 2013
书本目录: ... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...
获取全文
电子 电子书
17
出版 2008
书本目录: ... Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0...
获取全文
电子 电子书
18
出版 2007
书本目录: ... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...
获取全文
电子 电子书