1
par Horstmann, Cay S.
Publié 2013
Sujets: ...Java (Computer program language)....
Cover image
Livre
2
Table des matières: ... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...
Accéder au texte intégral
Électronique eBook
3
Publié 2006
Table des matières: ...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...
Accéder au texte intégral
Électronique eBook
4
par Dawood, Kareem Abbas
Publié 2017
Sujets: ...Text processing (Computer science)...
Accéder au texte intégral
Thèse
5
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
6
Publié 2013
Table des matières: ... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Accéder au texte intégral
Électronique eBook
9
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
10
Publié 2006
Table des matières: ... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Accéder au texte intégral
Électronique eBook
12
Publié 2015
Table des matières: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Accéder au texte intégral
Électronique eBook
14
Publié 2012
Table des matières: ... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
Accéder au texte intégral
Électronique eBook
18
Publié 2013
Table des matières: ....- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...
Accéder au texte intégral
Électronique eBook