Narrow your search

Library

KU Leuven (7)

ULB (6)

ULiège (6)

AP (5)

EhB (5)

KDG (5)

Odisee (5)

Thomas More Kempen (5)

Thomas More Mechelen (5)

UCLL (5)

More...

Resource type

book (13)

digital (5)


Language

English (18)


Year
From To Submit

2013 (1)

2012 (3)

2010 (3)

2008 (3)

2007 (6)

More...
Listing 1 - 10 of 18 << page
of 2
>>
Sort by

Book
Automatic performance prediction of parallel programs
Author:
ISBN: 0792397088 Year: 1996 Publisher: Boston (Mass.) : Kluwer academic,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Grid computing : experiment management, tool integration, and scientific workflows
Authors: ---
ISBN: 9783540692614 3540692614 9786610853076 1280853077 3540692622 Year: 2007 Publisher: Berlin, Germany ; New York, New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures. A new directive-based language called ZEN is proposed for compact specification of wide value ranges of interest for arbitrary application parameters, including problem or machine sizes, array or loop distributions, software libraries, interconnection networks, or target execution machines. Based on the ZEN language, a novel experiment management tool called ZENTURIO is developed for automatic experiment management of large-scale performance and parameter studies on parallel and Grid architectures. This tool has been validated with respect to functionality and usefulness on several real-world parallel applications from various domains, including theoretical chemistry, photonics, finances, and numerical mathematics. Depending on the ZENTURIO experiment management architecture a generic optimization framework is built up that integrates general-purpose meta-heuristics for solving NP-complete performance and parameter optimization problems in an exponential search space specified using the ZEN experiment specification language. Finally a timely approach is proposed for modeling and executing scientific workflows in dynamic and heterogeneous Grid environments, introducing an abstract formal model for hierarchical representation of complex directed graph-based workflows. Thus this monograph contributes to various research areas related to integrated tool development for efficient engineering and high performance execution of scientific applications in Grid environments.

Keywords

Computational grids (Computer systems) --- Grilles informatiques --- Computational grids (Computer systems). --- Computer systems. --- Electronic books. -- local. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer Science --- Telecommunications --- Information Technology --- Computer Science (Hardware & Networks) --- 681.3*D29 --- 681.3*G18 --- 681.3*K6 --- Grid computing --- Grids, Computational (Computer systems) --- Computer systems --- Cyberinfrastructure --- Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- Partial differential equations: difference methods; elliptic equations; finite element methods; hyperbolic equations; method of lines; parabolic equations (Numerical analysis) --- Management of computing and information systems: economics --- 681.3*K6 Management of computing and information systems: economics --- 681.3 *G18 Partial differential equations: difference methods; elliptic equations; finite element methods; hyperbolic equations; method of lines; parabolic equations (Numerical analysis) --- 681.3*D29 Management: copyrights; cost estimation; life cycle; productivity; programming teams; software configuration management; software quality assurance; SQA (Software engineering)--See also {681.3*K63}; {681.3*K64} --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Computer science. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Computer Science, general. --- Computer Communication Networks. --- Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Informatics --- Science --- Operating systems --- Distributed processing --- 681.3 *G18 --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Authors: ---
ISBN: 3540011854 3540366148 9783540011859 Year: 2003 Volume: 2628 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri?- tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to ?nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci?c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ?ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de?ne a new symbolic - scription of program semantics for control and data ?ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e?cient, versatile, uni?ed, and more general (they cope with regular and irregular codes) than most existing methods.


Book
Scientific workflows : programming, optimization, and synthesis with ASKALON and AWDL
Authors: ---
ISBN: 364243679X 3642307140 9786613943026 3642307159 1283630575 Year: 2012 Publisher: Berlin ; Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Creating scientific workflow applications is a very challenging task due to the complexity of the distributed computing environments involved, the complex control and data flow requirements of scientific applications, and the lack of high-level languages and tools support. Particularly, sophisticated expertise in distributed computing is commonly required to determine the software entities to perform computations of workflow tasks, the computers on which workflow tasks are to be executed, the actual execution order of workflow tasks, and the data transfer between them. Qin and Fahringer present a novel workflow language called Abstract Workflow Description Language (AWDL) and the corresponding standards-based, knowledge-enabled tool support, which simplifies the development of scientific workflow applications. AWDL is an XML-based language for describing scientific workflow applications at a high level of abstraction. It is designed in a way that allows users to concentrate on specifying such workflow applications without dealing with either the complexity of distributed computing environments or any specific implementation technology. This research monograph is organized into five parts: overview, programming, optimization, synthesis, and conclusion, and is complemented by an appendix and an extensive reference list. The topics covered in this book will be of interest to both computer science researchers (e.g. in distributed programming, grid computing, or large-scale scientific applications) and domain scientists who need to apply workflow technologies in their work, as well as engineers who want to develop distributed and high-throughput workflow applications, languages and tools.

Keywords

Computer networks -- Management. --- Electronic data processing -- Distributed processing. --- Workflow -- Management. --- Electronic data processing --- Workflow --- Computer networks --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer Science --- Sciences - General --- Distributed processing --- Management --- Computational grids (Computer systems) --- Science --- Data processing --- Management. --- Natural science --- Science of science --- Sciences --- Grid computing --- Grids, Computational (Computer systems) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Artificial intelligence. --- Application software. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Special Purpose and Application-Based Systems. --- Computer Communication Networks. --- Computer Applications. --- Artificial Intelligence (incl. Robotics). --- Computer systems --- Cyberinfrastructure --- Software engineering. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Network computers --- Special purpose computers --- Computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software


Book
Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources
Authors: ---
ISBN: 3642115780 9786613563491 3642115799 128038557X Year: 2010 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

In a dynamic computing environment, such as the Grid, resource management plays a crucial role in making distributed resources available on demand to anyone from anywhere at any time without undermining the resource autonomy; this becomes an art when dealing with heterogeneous resources distributed amongst multiple trust domains spanning the Internet. Today, Grid execution environments provide abstract workflow descriptions that need a dynamic mapping to actual deployments; this further accentuates the importance of resource management in the Grid. This monograph renders boundaries of Grid resource management, identifies research challenges and proposes new solutions with innovative techniques for on-demand provisioning, automatic deployments, dynamic synthesis, negotiation-based advance reservation and capacity planning of Grid resources. Grid capacity planning is performed with multi-constrained optimized resource allocations by modeling resource allocation as an on-line strip packing problem and introducing a new solution that optimizes resource utilization and QoS while generating contention-free solutions. The book further explains the use of semantic web technologies in the Grid to specify explicit definitions and unambiguous machine interpretable resource descriptions for intelligent resource matching and synthesis; the synthesis process generates new compound resources with aggregated capabilities and prowess. The techniques introduced have been developed and integrated in the ASKALON Grid application development and runtime environment, deployed in the Austrian Grid, and are demonstrated in this book by means of well-performed experiments.

Keywords

Computational grids (Computer systems) --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Telecommunications --- Computer Science --- Grid computing --- Grids, Computational (Computer systems) --- Computer science. --- Computer organization. --- Computer communication systems. --- Software engineering. --- Computer programming. --- Algorithms. --- Computer Science. --- Computer Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Computer Systems Organization and Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Organization, Computer --- Informatics --- Science --- Foundations --- Programming --- Distributed processing --- Computer systems --- Computer network architectures. --- Computer software. --- Software, Computer --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer networks. --- Computer engineering. --- Software Engineering. --- Computer Engineering and Networks. --- Computer and Information Systems Applications. --- Design and construction


Digital
Grid Computing : Experiment Management, Tool Integration, and Scientific Workflows
Authors: ---
ISBN: 9783540692621 Year: 2007 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg


Digital
Scientific Workflows : Programming, Optimization, and Synthesis with ASKALON and AWDL
Authors: ---
ISBN: 9783642307157 Year: 2012 Publisher: Berlin, Heidelberg Imprint: Springer


Digital
Grid Resource Management : On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Authors: ---
ISBN: 9783642115790 9783642115806 9783642115783 Year: 2010 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

In a dynamic computing environment, such as the Grid, resource management plays a crucial role in making distributed resources available on demand to anyone from anywhere at any time without undermining the resource autonomy; this becomes an art when dealing with heterogeneous resources distributed amongst multiple trust domains spanning the Internet. Today, Grid execution environments provide abstract workflow descriptions that need a dynamic mapping to actual deployments; this further accentuates the importance of resource management in the Grid. This monograph renders boundaries of Grid resource management, identifies research challenges and proposes new solutions with innovative techniques for on-demand provisioning, automatic deployments, dynamic synthesis, negotiation-based advance reservation and capacity planning of Grid resources. Grid capacity planning is performed with multi-constrained optimized resource allocations by modeling resource allocation as an on-line strip packing problem and introducing a new solution that optimizes resource utilization and QoS while generating contention-free solutions. The book further explains the use of semantic web technologies in the Grid to specify explicit definitions and unambiguous machine interpretable resource descriptions for intelligent resource matching and synthesis; the synthesis process generates new compound resources with aggregated capabilities and prowess. The techniques introduced have been developed and integrated in the ASKALON Grid application development and runtime environment, deployed in the Austrian Grid, and are demonstrated in this book by means of well-performed experiments.


Book
Scientific Workflows : Programming, Optimization, and Synthesis with ASKALON and AWDL
Authors: --- ---
ISBN: 9783642307157 Year: 2012 Publisher: Berlin Heidelberg Springer Berlin Heidelberg Imprint Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Creating scientific workflow applications is a very challenging task due to the complexity of the distributed computing environments involved, the complex control and data flow requirements of scientific applications, and the lack of high-level languages and tools support. Particularly, sophisticated expertise in distributed computing is commonly required to determine the software entities to perform computations of workflow tasks, the computers on which workflow tasks are to be executed, the actual execution order of workflow tasks, and the data transfer between them. Qin and Fahringer present a novel workflow language called Abstract Workflow Description Language (AWDL) and the corresponding standards-based, knowledge-enabled tool support, which simplifies the development of scientific workflow applications. AWDL is an XML-based language for describing scientific workflow applications at a high level of abstraction. It is designed in a way that allows users to concentrate on specifying such workflow applications without dealing with either the complexity of distributed computing environments or any specific implementation technology. This research monograph is organized into five parts: overview, programming, optimization, synthesis, and conclusion, and is complemented by an appendix and an extensive reference list. The topics covered in this book will be of interest to both computer science researchers (e.g. in distributed programming, grid computing, or large-scale scientific applications) and domain scientists who need to apply workflow technologies in their work, as well as engineers who want to develop distributed and high-throughput workflow applications, languages and tools.


Book
Grid Computing : Experiment Management, Tool Integration, and Scientific Workflows
Authors: --- ---
ISBN: 9783540692621 Year: 2007 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures. A new directive-based language called ZEN is proposed for compact specification of wide value ranges of interest for arbitrary application parameters, including problem or machine sizes, array or loop distributions, software libraries, interconnection networks, or target execution machines. Based on the ZEN language, a novel experiment management tool called ZENTURIO is developed for automatic experiment management of large-scale performance and parameter studies on parallel and Grid architectures. This tool has been validated with respect to functionality and usefulness on several real-world parallel applications from various domains, including theoretical chemistry, photonics, finances, and numerical mathematics. Depending on the ZENTURIO experiment management architecture a generic optimization framework is built up that integrates general-purpose meta-heuristics for solving NP-complete performance and parameter optimization problems in an exponential search space specified using the ZEN experiment specification language. Finally a timely approach is proposed for modeling and executing scientific workflows in dynamic and heterogeneous Grid environments, introducing an abstract formal model for hierarchical representation of complex directed graph-based workflows. Thus this monograph contributes to various research areas related to integrated tool development for efficient engineering and high performance execution of scientific applications in Grid environments.

Listing 1 - 10 of 18 << page
of 2
>>
Sort by