the publish/subscribe style is an emerging paradigm for the construction of loosely coupled systems. Yet, the verification of such systems remains difficult. We have constructed a framework called RAY for testing publ...
详细信息
the publish/subscribe style is an emerging paradigm for the construction of loosely coupled systems. Yet, the verification of such systems remains difficult. We have constructed a framework called RAY for testing publish/subscribe applications. this framework is implemented as an Eclipse plug-in. In this paper, we present the detailed architecture of RAY, as well as the interaction with its supporting components. In addition to the presented architecture for a testing framework for publish/subscribe applications, the contribution of this paper includes the experience gained during the development of this framework
We have become increasingly dependent on a national technological fabric that contains software, computers, and communication networks as essential components. Unfortunately, our ability to build affordable software s...
详细信息
We have become increasingly dependent on a national technological fabric that contains software, computers, and communication networks as essential components. Unfortunately, our ability to build affordable software systems for which there exists compelling evidence that the systems delivers their services in a manner that satisfies certain critical properties has not kept pace withthe importance that these systems play in our lives. there are five basic research issues that we must address if we are to advance our ability to build trustworthy software
At present a big concern is devoted to the problems of effective use of mobile technologies in the area of m-business, m-commerce and other areas. It is important to study carefully the relation and synergy between ma...
详细信息
ISBN:
(纸本)9789537138127
At present a big concern is devoted to the problems of effective use of mobile technologies in the area of m-business, m-commerce and other areas. It is important to study carefully the relation and synergy between management area and mobile technologies so that business processes (mainly) could be supported efficiently. In the paper we there discuss basic approaches to Service Oriented Architectures (SOA) - Web services and their use in mobile devices.
the rapid trend towards global sourcing of software development has put increased pressure upon U.S. educational institutions in order to provide such experience and relevant skill sets to their students. this present...
详细信息
the rapid trend towards global sourcing of software development has put increased pressure upon U.S. educational institutions in order to provide such experience and relevant skill sets to their students. this presentation describes one such initiative between a Marquette University and Management Development Institute aimed at providing experience in global software development to their students. For others interested in undertaking such initiatives, this paper discusses some do's and dont's
the proceedings contain 123 papers. the topics discussed include: multiple beam ptychography;GPU accelerated Monte-Carlo simulation of SEM images for metrology;electric fields in scanning electron microscopy simulatio...
ISBN:
(纸本)9781510600133
the proceedings contain 123 papers. the topics discussed include: multiple beam ptychography;GPU accelerated Monte-Carlo simulation of SEM images for metrology;electric fields in scanning electron microscopy simulations;HVM metrology challenges towards the 5 nm node;gaining insight into effective metrology height through the use of a compact CDSEM model for lithography simulation;measurement of asymmetric side wall angles by coherent scanning Fourier scatterometry;XPS-XRF hybrid metrology enabling FDSOI process;study of design-based e-beam defect inspection for hotspot detection and process window characterization on 10nm logic device;spectroscopic imaging of buried layers in 2+1D via tabletop ptychography with high-harmonic EUV illumination;characterization of cross-sectional profile of resist L/S and hole pattern using CD-SAXS;hybrid-enabled thin film metrology using xps and optical;electromagnetic field modeling for defect detection in 7 nm node patterned wafers;detection of metallic buried void by effective density contrast mode;and topological study of nanomaterials using surface-enhanced ellipsometric contrast microscopy (SEEC).
this paper presents the use of fuzzy logic to derive a practical control scheme for a boost rectifier with active power factor correction. the methodology integrates a fuzzy logic control technique in the feedback pat...
详细信息
this paper presents the use of fuzzy logic to derive a practical control scheme for a boost rectifier with active power factor correction. the methodology integrates a fuzzy logic control technique in the feedback path and linear programming rule on controlling the duty cycle of the switch for shaping the input current waveform. the proposed approach avoids complexities associated with nonlinear mathematical modeling of switching converters. the control action is primarily derived from a set of linguistic rule written in accordance to experience and intuitive reasoning. Instead of generating fast pulse-width-modulated (PWM) signal, the digital signal processor is required to generate a slow-varying DC signal only for determining the PWM ramp function. Moreover, the number of sensing element is lesser than the classical rectifier as it is unnecessary to sense the supply voltage for shaping the input current. Computer simulations of the closed-loop performance in respect of load regulation and line regulation are presented and favorably compared to the ones obtained by the average current mode controller using small-signal modeling design technique.
the aim of the present research was to analyze the methodological possibilities of axiological logic for the sustainability of e-teaching interactivity and manifestation of studentspsila value dispositions. In profess...
详细信息
ISBN:
(纸本)9789537138127
the aim of the present research was to analyze the methodological possibilities of axiological logic for the sustainability of e-teaching interactivity and manifestation of studentspsila value dispositions. In professional education, it is necessary to take into account value levels that are important for the development of personality individuality and social expression. We suggest a strategy for sustainability of interactivity in e-teaching technologies, applying the laws of axiological logic. Expert assessment of 26 e-teaching courses according to nine criteria is presented. It was established that e-teaching courses were best programmed with regard to realization of systemic approach to solving educational problem, quality of preparation of self-assessment tasks, logical structuring of the material and worse programmed in purposefulness and meaningfulness of the teaching media used in the course processes, value aspect of the course content (suitability and quality of interactivity realizing emotional (affective) educational goals, expressed in the form of affective educational goals), validity of methodology for holistic assessment of the acquired competencies.
In modern VLSI designs, assertions play an important role to understand design intention and ensure correctness of designs. In this paper, we consider to generate assertions from simulation results. this assertion ext...
详细信息
In modern VLSI designs, assertions play an important role to understand design intention and ensure correctness of designs. In this paper, we consider to generate assertions from simulation results. this assertion extraction is performed by examining whether a logical relation is satisfied among a set of signals. We propose to accelerate it by utilizing a highly parallelized computation performed by GPGPUs. through the experiments with designs from industry, our implementation on GPGPU runs 30 times faster than a software implementation.
暂无评论