1
出版 2005
书本目录: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
获取全文
电子 电子书
2
出版 2005
书本目录: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
获取全文
电子 电子书
3
出版 2007
书本目录: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
5
出版 2010
书本目录: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
获取全文
电子 电子书
6
出版 2015
书本目录: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
获取全文
电子 电子书
7
出版 2005
书本目录: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
获取全文
电子 电子书
8
出版 2014
书本目录: ... Matching -- A Novel Non-Repudiate Scheme with Voice Feature Marking.-A Study of Spam Detection algorithm...
获取全文
电子 电子书
9
出版 2007
书本目录: ... -- The Changing Impact of Semiconductor Technology on Processor Architecture -- Cluster Computing -- A Windows...
获取全文
电子 电子书
10
出版 2007
书本目录: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
获取全文
电子 电子书
11
出版 2010
书本目录: ... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...
获取全文
电子 电子书
12
出版 2013
书本目录: ... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...
获取全文
电子 电子书
13
出版 2005
书本目录: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
获取全文
电子 电子书
14
出版 2015
书本目录: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
获取全文
电子 电子书
15
出版 2013
书本目录: ...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...
获取全文
电子 电子书
16
出版 2010
书本目录: ... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...
获取全文
电子 电子书
17
出版 2006
书本目录: ... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...
获取全文
电子 电子书
18
出版 2014
书本目录: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
获取全文
电子 电子书
19
出版 2012
书本目录: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
获取全文
电子 电子书
20
出版 2014
书本目录: ... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...
获取全文
电子 电子书