1
Published 2015
Table of Contents: ... Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Network -- Transient-Time Fractional-Space Trigonometry and Application -- Understanding Individual Play...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Processes - Theories and Applications -- Freshness-Aware Thompson Sampling -- Condition monitoring of broken...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...Can Board Diversity Enhance the Integration of ESG Aspects in Management System? -- Application...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
View full text
Electronic eBook
13
Table of Contents: ..., and Attribute-Based Programming -- Processes, AppDomains, Contexts, and CLR Hosts -- Building Multithreaded...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... for Supercomputing Applications - DEISA -- Towards Networked Computers: What Can Be Learned from Distributed...
View full text
Electronic eBook