1
出版 2014
書本目錄: ... Computational Intelligence -- Modeling Heavy-tails in Traffic Sources for Network Performance Evaluation...
獲取全文
電子 電子書
2
3
出版 2005
書本目錄: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
獲取全文
電子 電子書
5
出版 2007
書本目錄: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
獲取全文
電子 電子書
6
出版 2006
書本目錄: ... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...
獲取全文
電子 電子書
7
出版 2005
書本目錄: ... Distribution of Tasks on a Commodity Grid -- Modeling Execution Time of Selected Computation and Communication...
獲取全文
電子 電子書
8
出版 2012
書本目錄: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
獲取全文
電子 電子書
9
出版 2005
書本目錄: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
獲取全文
電子 電子書
10
出版 2007
書本目錄: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
獲取全文
電子 電子書
12
出版 2014
書本目錄: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
獲取全文
電子 電子書
13
出版 2010
書本目錄: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
獲取全文
電子 電子書
14
出版 2008
書本目錄: ... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...
獲取全文
電子 電子書
15
出版 2005
書本目錄: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
獲取全文
電子 電子書
17
出版 2010
書本目錄: ... and Preferred Solution Methodologies -- A Relation-Based Model for Convergence Analysis of Evolutionary...
獲取全文
電子 電子書
18
出版 2010
書本目錄: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Service Model Based on Workflows for u-Agriculture -- A History-Based Scheduler for Dynamic Load Balancing...
獲取全文
電子 電子書
20
出版 2005
書本目錄: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
獲取全文
電子 電子書