Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
Choose an application
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.
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
Choose an application
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.
Compilers (Computer programs) --- Computer algorithms. --- Computer algorithms --- Computer Science --- Engineering & Applied Sciences --- Compiling programs (Computer programs) --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Operating Systems. --- Logics and Meanings of Programs. --- Algorithms --- Computer programs --- Programming software --- Systems software --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Computers --- Disk operating systems --- Informatics --- Science --- Computer software engineering --- Engineering --- Operating systems --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages (Electronic computers) --- Operating systems (Computers)
Choose an application
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.
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
Choose an application
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.
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
Choose an application
Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- programmeren (informatica) --- informatiesystemen --- software engineering --- OS (operating system) --- computernetwerken
Choose an application
Choose an application
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.
Complex analysis --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- complexe analyse (wiskunde) --- applicatiebeheer --- apps --- computers --- computerbesturingssystemen --- programmeren (informatica) --- informatiesystemen --- software engineering --- algoritmen --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Choose an application
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.
Choose an application
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.
Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- programmeren (informatica) --- informatiesystemen --- software engineering --- OS (operating system) --- computernetwerken
Listing 1 - 10 of 18 | << page >> |
Sort by
|