Integration of heterogeneous distributed systems becomes particularly challenging when these systems have diverse coordination models (e. g., client/server, publish/subscribe, tuple space). In this paper, we introduce...
详细信息
ISBN:
(纸本)9783642207549
Integration of heterogeneous distributed systems becomes particularly challenging when these systems have diverse coordination models (e. g., client/server, publish/subscribe, tuple space). In this paper, we introduce a system integration solution based on orchestration workflow and a high-level data-driven coordination abstraction enabling application workflows that are agnostic to the underlying middleware platforms and associated coordination models of the constituent systems. Our solution features an extensible generic coordination middleware, which enables middleware designers to easily incorporate support for new middleware platforms and facilitates application designers in designing complex applications.
Model checking is a new techology developed to ensure the correctness of concurrent systems. In this paper we consider one of the algorithms included in this techology, an algorithm for constructing Buchi automaton fr...
详细信息
ISBN:
(纸本)9783642231773
Model checking is a new techology developed to ensure the correctness of concurrent systems. In this paper we consider one of the algorithms included in this techology, an algorithm for constructing Buchi automaton from a given LTL formula. this algorithm uses an alternating automaton as an intermediate model while translating the LTL formula to a generalized Buchi automaton. We represent data structures and data manipulations with BDD to increase algorithm effectiveness. the algorithm is compared on time and resulting Buchi automaton size with well known LTL to Buchi realizations (SPIN, LTL2BA), and it shows its effectiveness for wide class of LTL formulas.
We study the numerical behavior of heterogeneous systems such as CPU with CPU or IBM Cell processors for some orthogonalization processes. We focus on the influence of the different floating arithmetic handling of the...
详细信息
ISBN:
(纸本)9783642193279
We study the numerical behavior of heterogeneous systems such as CPU with CPU or IBM Cell processors for some orthogonalization processes. We focus on the influence of the different floating arithmetic handling of these accelerators with Gram-Schmidt orthogonalization using single and double precision. We observe for dense matrices a loss of at worst 1 digit for CUDA-enabled GPUs as well as a speed-up of 20x, and 2 digits for the Cell processor for a 7x speed-up. For sparse matrices, the result between CPU and CPU is very close and the speed-up is 10x. We conclude that the Cell processor is a good accelerator for double precision because of its full IEEE compliance, and not sufficient for single precision applications. the CPU speed-up is better than Cell and the decent IEEE support delivers results close to the CPU ones for both precisions.
Service-based applications have become more and more multi-layered in nature, as we tend to build software as a service on top of infrastructure as a service. Most existing SOA monitoring and adaptation techniques add...
详细信息
ISBN:
(纸本)9783642255342;9783642255359
Service-based applications have become more and more multi-layered in nature, as we tend to build software as a service on top of infrastructure as a service. Most existing SOA monitoring and adaptation techniques address layer-specific issues. these techniques, if used in isolation, cannot deal with real-world domains, where changes in one layer often affect other layers, and information from multiple layers is essential in truly understanding problems and in developing comprehensive solutions. In this paper we propose a framework that integrates layer specific monitoring and adaptation techniques, and enables multi-layered control loops in service-based systems. the proposed approach is evaluated on a medical imaging procedure for Computed Tomography (CT) Scans, an e-Health scenario characterized by strong dependencies between the software layer and infrastructural resources.
this paper presents the work done during the first year of the EPIS project. this project deals withthe process of conducting multiple and parallel multi agents-based simulations (MABS) on a cluster or a grid in orde...
详细信息
ISBN:
(纸本)9783642198748
this paper presents the work done during the first year of the EPIS project. this project deals withthe process of conducting multiple and parallel multi agents-based simulations (MABS) on a cluster or a grid in order to generate sufficient data for scientific use (e.g. in the case of a sensibility analysis of a simulation). We provide a new, general and user-friendly approach to marry MABS and High-Performance computing (HPC). We, thus, propose a workflow and an associated HPC infrastructure. these two permit to easily deploy a lot of simulations on a cluster without any prior parallelizing work. the method wants to be as generic as possible: no particular MABS targeted, no overhead and HPC compliance work has to be done only once. Moreover the user is guided by a web interface that handles the workflow.
this two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the internationalconference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in J...
ISBN:
(数字)9783642223891
ISBN:
(纸本)9783642223884
this two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the internationalconference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011. the 91 revised full papers of both volumes presented together with 4 invited talks were carefully reviewed and selected from 235 submissions. the papers are organized in topical sections on network security; Web applications; data mining; neural networks; distributed and parallel processing; biometrics technologies; e-learning; information ethics; image processing; information and data management; software engineering; data compression; networks; computer security; hardware and systems; multimedia; ad hoc network; artificial intelligence; signal processing; cloud computing; forensics; security; software and systems; mobile networking; and some miscellaneous topics in digital information and communications.
this two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the internationalconference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in J...
ISBN:
(数字)9783642224102
ISBN:
(纸本)9783642224096
this two-volume-set (CCIS 188 and CCIS 189) constitutes the refereed proceedings of the internationalconference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011. the 91 revised full papers of both volumes presented together with 4 invited talks were carefully reviewed and selected from 235 submissions. the papers are organized in topical sections on network security; Web applications; data mining; neural networks; distributed and parallel processing; biometrics technologies; e-learning; information ethics; image processing; information and data management; software engineering; data compression; networks; computer security; hardware and systems; multimedia; ad hoc network; artificial intelligence; signal processing; cloud computing; forensics; security; software and systems; mobile networking; and some miscellaneous topics in digital information and communications.
this book constitutes the refereed proceedings of the internationalconference on ICT in Teaching and Learning, ICT 2011, jointly held in Hong Kong, China, in July 2011 withthe 15th Hong Kong Web Symposium. the 30 re...
ISBN:
(数字)9783642223839
ISBN:
(纸本)9783642223822
this book constitutes the refereed proceedings of the internationalconference on ICT in Teaching and Learning, ICT 2011, jointly held in Hong Kong, China, in July 2011 withthe 15th Hong Kong Web Symposium. the 30 revised full papers presented were carefully reviewed and selected from numerous submissions. the papers present current research on innovative and effective usage of social networking, multimedia and mobile learning technologies. Topics addressed are such as: emerging pedagogies, mobile technologies, Web 2.0, social networking, bookmarking and repository communities, e-learning, mobile and distributed learning, social computing mobile learning system design and architecture semantic Web applications d-learning, e-learning, m-learning education environments privacy, risk, and security.
Renewable energy sources (RES) are very likely to continue the upward capacity trend witnessed in the past years. the reasons for adoption are varied and respond to both market pressures, influence of government inter...
详细信息
ISBN:
(纸本)9780769544298
Renewable energy sources (RES) are very likely to continue the upward capacity trend witnessed in the past years. the reasons for adoption are varied and respond to both market pressures, influence of government intervention and a raised awareness of the consequences on the environment of the current generation fleet. the change from dispatchable generation to an environment in which Independent System Operators (ISO's), Regional Transmission Operators (RTO's) and consumers, among others, accommodate the demand to the available generation, requires fundamental changes in the way the system is managed. Also, to better harness the energy from renewable sources, both new methods and technologies need to be adopted, counteracting for the sometimes unpredictable behavior of these sources. this study proposes a method with multi-period optimization to help prescribe the optimal placement and usage of RES and Energy Storage Systems (ESS) with full information of the system. Four cases are analyzed in their dispatches, as well as the benefits to the participants in the wholesale market, for a reduced 30-bus network. While the data requirements are high, and the use of a reduced system limits the applications herein proposed, the policy implications from the results obtained provide useful insights into an ongoing debate regarding on how to direct investment in the electrical system.
暂无评论