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
书本目录: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
获取全文
电子 电子书
6
出版 2006
书本目录: ... Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model...
获取全文
电子 电子书
7
出版 2012
书本目录: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
获取全文
电子 电子书
8
出版 2005
书本目录: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
获取全文
电子 电子书
9
出版 2007
书本目录: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
获取全文
电子 电子书
10
出版 2005
书本目录: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
获取全文
电子 电子书
11
出版 2014
书本目录: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
获取全文
电子 电子书
12
出版 2010
书本目录: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
获取全文
电子 电子书
13
出版 2008
书本目录: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
获取全文
电子 电子书
14
出版 2005
书本目录: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
获取全文
电子 电子书
15
出版 2005
书本目录: ...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...
获取全文
电子 电子书
16
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
17
出版 2010
书本目录: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
获取全文
电子 电子书
18
出版 2010
书本目录: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
获取全文
电子 电子书
19
出版 2005
书本目录: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
获取全文
电子 电子书
20
出版 2005
书本目录: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
获取全文
电子 电子书