close
1.

図書

図書
editor, T. Fahringer, M.H. Hamza
出版情報: Anaheim, Calif. : Acta Press, c2005  xiv, 738 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
editor, T. Fahringer,
出版情報: Anaheim, Calif. : Acta Press, c2006  iv, 333 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
Thomas Fahringer, Bernhard Scholz
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 129 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2628
所蔵情報: loading…
目次情報: 続きを見る
Preface / 1:
Introduction / 2:
Motivation / 2.1:
Applications for Symbolic Analysis of Programs / 2.2:
Contributions / 2.3:
Symbolic Analysis Framework / 2.3.1:
Symbolic Analysis for Parallelizing Compilers / 2.3.2:
Organization / 2.4:
Symbolic Analysis of Programs / 3:
Initializations, Assignments, and Input/Output Operations / 3.1:
Conditional Statements / 3.3:
Loops and Recurrences / 3.4:
Arrays / 3.5:
Procedures / 3.6:
Dynamic Data Structures / 3.7:
Summary / 3.8:
Generating Program Contexts / 4:
Extended Control Flow Graph / 4.1:
Algorithm / 4.3:
Symbolic Analysis Algorithms and Transformations / 4.4:
Preliminaries / 5.1:
Symbolic Expression Evaluation / 5.3:
Compute Lower and Upper Bounds of Symbolic Ex- pressions / 5.3.1:
Rewrite ?-Expressions / 5.3.2:
Rewrite Policies / 5.3.3:
Simplify Expressions / 5.3.4:
Determine Result / 5.3.5:
Count Solutions to a System of Constraints / 5.4:
Symbolic Sum Computation / 5.4.1:
The Algorithm / 5.4.2:
Algebraic Sum / 5.4.3:
Miscellaneous / 5.4.4:
Simplify Systems of Constraints / 5.5:
Experiments / 5.6:
Eliminate Redundant Constraints / 5.6.1:
Counting Solutions to a System of Constraints / 5.6.2:
Optimizing FTRVMT / 5.6.3:
Programming DMMPs / 5.7:
Data Dependence Analysis / 6.3:
Vienna High Performance Compiler / 6.4:
Implementation / 6.5:
Symbolic Analysis to Optimize OLDA / 6.6:
Symbolic Analysis to Optimize HNS / 6.7:
Related Work / 6.8:
Advanced Symbolic Analysis Algorithms / 7.1:
Parallelizing Compilers / 7.2:
Conclusion / 8:
Appendix / 9:
Control Flow Graphs / 9.1:
Denotational Semantics / 9.2:
Notation / 9.3:
Denotational Semantic: Notation / 9.4:
References
Index
Preface / 1:
Introduction / 2:
Motivation / 2.1:
4.

電子ブック

EB
Austrian-Hungarian Workshop on Distributed and Parallel Systems, Thomas Fahringer, Peter Kacsuk
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Program Committee and Additional Reviewers
Parallel and distributed algorithms / Part I:
The Wandering Token: Congestion Avoidance of a Shared Resource / Augusto Ciuffoletti
A Locality Optimizing Algorithm for Developing Stream Programs in Imagine / Jing Du ; Xuejun Yang ; Canqun Yang ; Xiaobo Yan ; Yu Deng
Granular SSOR Preconditioning Placed on Dynamic SMP Clusters with Communication on the Fly / Boguslaw Butrylo ; Marek Tudruj ; Lukasz Masko
Bulk Synchronous Parallel ML with Exceptions / Louis Gesbert ; Frederic Gava ; Frederic Loulergue ; Frederic Dabrowski
Networking and communication / Part II:
A New Approach to MPI Collective Communication Implementations / Torsten Hoefler ; Jeffrey M. Squyres ; Graham Fagg ; George Bosilca ; Wolfgang Rehm ; Andrew Lumsdaine
Supporting MPI applications in P-GRADE Portal / Zoltan Farkas ; Zoltan Balaton ; Peter Kacsuk
Tuned: An Open MPI Collective Communications Component / Graham E. Fagg ; Jelena Pjesivac-Grbovic ; Thara Angskun ; Jack J. Dongarra
Self-Healing Network for Scalable Fault Tolerant Runtime Environments
Supporting Seamless Remote I/O Using a Parallel NetCDF Interface / Yuichi Tsujita
Grid and web services / Part III:
Generating Semantic Descriptions of Web and Grid Services / Marian Babik ; Ladislav Hluchy ; Jacek Kitowski ; Bartosz Kryza
Legacy Code Support for Service-oriented Production Grids / Thierry Delaitre ; Tamas Kiss ; Gabor Terstyanszky ; Stephen Winter
Client-Side Task Support in Matlab for Concurrent Distributed Execution / Christian Hoge ; Dan Keith ; Allen D. Malony
Message Level Security For Grid Services Using S/MIME / Daniel Kouril ; Ondrej Krajicek ; Martin Kuba ; Michal Prochazka
Grid infrastructure / Part IV:
Fault Tolerant Grid Registry / Marek Kasztelnik ; Marian Bubak ; Cezary Gorka ; Maciej Malawski ; Tomasz Gubala
Secure application deployment in the Hierarchical Local Desktop Grid / Attila Marosi ; Gabor Gombas
Designing Distributed Mediator Component for the C-GMA Monitoring Architecture / Andrea Ceccanti ; Ales Krenek ; Ludek Matyska ; Miroslav Ruda
User Oriented Grid Testing / Miklos Kozlovszky ; Krisztian Karoczkai ; Istvan Marton ; Andras Schnautigel ; Gabor Hermann ; Ramon Harrington ; Danielle Martin ; Carsten Winsnes ; Thomas Strodl
Advanced grid techniques / Part V:
Application and Middleware Transparent Checkpointing with TCKPT on Clustergrid / Jozsef Kovacs ; Rafal Mikolajczak ; Radoslaw Januszewski ; Gracjan Jankowski
UML based Grid Workflow Modeling under ASKALON / Jun Qin ; Thomas Fahringer ; Sabri Pllana
A Taxonomy of Grid Resource Brokers / Attila Kertesz
Towards an Agent Integrated Speculative Scheduling Service / Laszlo Csaba Lorincz ; Attila Ulbert ; Zoltan Horvath ; Tamas Kozsi
Author Index
Preface
Program Committee and Additional Reviewers
Parallel and distributed algorithms / Part I:
5.

電子ブック

EB
Radu Prodan, Thomas Fahringer, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック

EB
Jun Qin, Thomas Fahringer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
Mumtaz Siddiqui, Thomas Fahringer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Overview / Part I:
Introduction / 1:
Motivation / 1.1:
Collaboration Instead of Isolation / 1.1.1:
Discovery and Selection / 1.1.2:
Lifecycle Management / 1.1.3:
On-Demand Provisioning / 1.1.4:
Role of Planning / 1.1.5:
Service-Level Agreement / 1.1.6:
Optimized Resource Allocation / 1.1.7:
Synthesis and Aggregation / 1.1.8:
Grid Enablement / 1.1.9:
Portability / 1.1.10:
Semantics in the Grid / 1.1.11:
Research Goals / 1.2:
Automatic Resource Brokerage / 1.2.1:
Dynamic Registration and Automatic Deployment / 1.2.2:
Advance Reservation and Co-allocation / 1.2.3:
Capacity Management and Planning / 1.2.4:
Standard Adaptation / 1.2.5:
Organization / 1.3:
Part 1: Overview / 1.3.1:
Part 2: Brokerage / 1.3.2:
Part 3: Planning / 1.3.3:
Part 4: Semantics / 1.3.4:
Part 5: Conclusion / 1.3.5:
Appendices / 1.3.6:
Model / 2:
The Grid / 2.1:
Characteristics / 2.1.1:
Layers / 2.1.2:
Architectures / 2.1.3:
Resources and Applications / 2.2:
Activities / 2.2.1:
Workflows / 2.2.2:
Grid Node / 2.2.3:
Grid Operating Environment / 2.3:
Open Grid Services Architecture / 2.3.1:
WS-Resource Framework / 2.3.2:
Globus Toolkit / 2.3.3:
Askalon: A Grid Runtime Environment / 2.4:
Workflow Composition / 2.4.1:
Resource Management / 2.4.2:
Workflow Scheduling / 2.4.3:
Workflow Enactment / 2.4.4:
Performance Prediction and Analysis / 2.4.5:
Semantic Grid / 2.5:
Ontology / 2.5.1:
Web Ontology Language / 2.5.2:
Ontology Query Language / 2.5.3:
Provisioning / 2.6:
Allocation Negotiation / 2.6.2:
Capacity Planning / 2.6.3:
Manageability Models / 2.6.4:
Summary / 2.7:
Brokerage / Part II:
Grid Resource Management and Brokerage System / 3:
Architectural Overview / 3.1:
Node Management / 3.2.1:
Activity Management / 3.2.3:
Allocation Management / 3.2.4:
System Model / 3.3:
Resource Discoverer / 3.3.1:
Candidate Set Generator / 3.3.2:
Resource Synthesizer / 3.3.3:
Resource Selector / 3.3.4:
A Steady System with Proportional Distribution / 3.3.5:
Implementation / 3.4:
Customization / 3.4.1:
Superpeer / 3.4.2:
Experiments and Evaluation / 3.4.3:
Related Work / 3.6:
Grid Activity Registration, Deployment and Provisioning Framework / 3.7:
On-Demand Provisioning Motivation / 4.1:
An Example Using Bare Grid / 4.2.1:
GLARE-Based Solution / 4.2.2:
Activity Manager / 4.3:
Deployment Manager / 4.3.2:
Activity Type Registry / 4.3.3:
Activity Deployment Registry / 4.3.4:
Automatic Deployment Using Expect / 4.4:
Static and Dynamic Registration / 4.4.2:
Self-Management and Fault Tolerance / 4.4.3:
Planning / 4.5:
Allocation Management with Advance Reservation and Service-Level Agreement / 5:
Agreement / 5.1:
Agreement Lifecycle / 5.2.2:
Negotiation / 5.3:
Attentive Allocation / 5.3.1:
Progressive Allocation / 5.3.2:
Share-Based Allocation / 5.3.3:
Allocator / 5.4:
Co-allocator / 5.4.2:
Agreement Enforcement / 5.4.3:
Priority Provision / 5.4.4:
Standards Adaptation / 5.4.5:
Optimizing Multi-Constrained Allocations with Capacity Planning / 5.5:
Allocation Problem / 6.1:
Multi-Constrained Optimization / 6.2.2:
Negotiation Protocol / 6.3:
Allocation Offer Generation / 6.3.1:
Co-allocation Offer Generation / 6.3.2:
Contention Elimination / 6.3.3:
Cost Model / 6.3.4:
Semantics / 6.4:
Semantics in the Grid: Towards Ontology-Based Resource Provisioning / 7:
Describing Resources with Semantics / 7.1:
Concept Description / 7.2.1:
Architectural Extension / 7.3:
Resource Ontologies / 7.4:
Physical Resource Ontology / 7.4.1:
Resource Ensembles / 7.4.2:
Logical Resource Ontology / 7.4.3:
Discovering Resources with Semantics / 7.5:
Subsumption-Based Resource Matching / 7.6:
Evaluation / 7.7:
Subsumption: An Example / 7.7.1:
Semantics-Based Activity Synthesis: Improving On-Demand Provisioning and Planning / 7.8:
Synthesis Model / 8.1:
Ontology Rules / 8.3.1:
Activity Synthesis Problem / 8.3.2:
Applying Patterns for Activity Synthesis / 8.4:
Sequential Flow Patterns / 8.4.1:
Parallel Flow Patterns / 8.4.2:
Built-Ins and Constraints / 8.5:
Assumptions and Effects / 8.5.2:
Improving Capacity Planning / 8.6:
Discussion and Experiments / 8.7:
Conclusion / 8.8:
Resource Management Model / 9:
Towards Automatic Resource Management / 9.2:
Negotiation for Service-Level Agreement (SLA) / 9.3:
Multi-Constrained Optimization and Capacity Planning / 9.5:
Future Research / 9.6:
A Notations
References
Index
Overview / Part I:
Introduction / 1:
Motivation / 1.1:
8.

電子ブック

EB
Jörn Altmann, Thomas Fahringer, Takeo Kanade, Dirk Neumann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼