الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
concurrent programming » constraint programming, concurrent programs
array profiling » array processing, microarray profiling
information a » information age
a concurrent » _ concurrent
array using » arrays using
concurrent programming » constraint programming, concurrent programs
array profiling » array processing, microarray profiling
information a » information age
a concurrent » _ concurrent
array using » arrays using
1
منشور في 2005
جدول المحتويات:
“... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... Selection in a Data Warehouse -- Using Schema Transformation Pathways for Incremental View Maintenance...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2005
جدول المحتويات:
“... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2007
جدول المحتويات:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2015
جدول المحتويات:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2013
جدول المحتويات:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”احصل على النص الكامل
الكتروني
كتاب الكتروني