1
Publicerad 2005
Innehållsförteckning: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2005
Innehållsförteckning: ...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2005
Innehållsförteckning: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2005
Innehållsförteckning: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2014
Innehållsförteckning: ...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2005
Innehållsförteckning: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2010
Innehållsförteckning: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2007
Innehållsförteckning: ... Rules Based on Extended Function Dependency -- A Problem Oriented Approach to Data Mining in Distributed...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2008
Innehållsförteckning: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2014
Innehållsförteckning: ... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... of Coordinated Performance Skeletons -- Session II: Parallel Algorithms and Applications -- Data Sharing Analysis...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...
Hämta fulltext
Elektronisk E-bok