بدائل البحث:
program construction » programmed instruction
processing program » processing programs, processing programmed, proceedings program
construction java » construction japan, construction a, construction joint
https » http
1
منشور في 2010
جدول المحتويات: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ...-Front Algorithm for Constructing Voronoi Diagrams -- A Proposal of Parallel Strategy for Global Wavelet...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2014
جدول المحتويات: ... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2006
جدول المحتويات: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2005
جدول المحتويات: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2014
جدول المحتويات: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2007
جدول المحتويات: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2010
جدول المحتويات: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2013
جدول المحتويات: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2005
جدول المحتويات: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2006
جدول المحتويات: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
احصل على النص الكامل
الكتروني كتاب الكتروني