1
Tabl Cynhwysion: ... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2010
Tabl Cynhwysion: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2013
Tabl Cynhwysion: ... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2015
Tabl Cynhwysion: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2013
Tabl Cynhwysion: ....- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Generation Network -- Query Processing to Efficient Search in Ubiquitous Computing -- Service and Management...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2008
Tabl Cynhwysion: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Cael y testun llawn
Electronig eLyfr