Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming execution » programming evacuation, programming evolution, programming education
java programming » c programming
execution using » execution engine
parallel java » parallel data, parallel scara, parallel a
using https » using http, nursing https, aging https
programming execution » programming evacuation, programming evolution, programming education
java programming » c programming
execution using » execution engine
parallel java » parallel data, parallel scara, parallel a
using https » using http, nursing https, aging https
1
Argitaratua 2008
Aurkibidea:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“...-Related Applications -- Symbolic Analysis for Increased Program Execution Performance....”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... Using Wavelet Packet Parallel Architecture -- A Low–Level Communication Library for Java HPC -- Object...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“...Distributed and Parallel Embedded Systems (DIPES 2010) -- Preface -- Opening and Keynote -- Safety...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... Programming and Execution Environment for Parallel and Distributed Many-Core Architectures -- Scalable...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2006
Aurkibidea:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2012
Aurkibidea:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“... and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine Layering -- An Executable...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2015
Aurkibidea:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2013
Aurkibidea:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]