An advanced software production environment is presented that is intended to support both system modeling and software development. Such an environment aims at integrating the main phases of software life cycle and pr...
详细信息
ISBN:
(纸本)0818606436
An advanced software production environment is presented that is intended to support both system modeling and software development. Such an environment aims at integrating the main phases of software life cycle and providing both advanced tools for implementation and facilities for project management.
The ever growing capabilities of data storage systems have created the need to assess the quality of data in an efficient manner. In this paper, we consider a framework of data quality measurement that relies on basic...
详细信息
ISBN:
(纸本)9783319405810;9783319405803
The ever growing capabilities of data storage systems have created the need to assess the quality of data in an efficient manner. In this paper, we consider a framework of data quality measurement that relies on basic predicates formulated on the data. It is then motivated that in some cases, the evaluation of predicates is hindered due to a lack of information. As a result, the truth value of a predicate can not be determined with complete certainty. In this paper, it is first shown how such uncertainty about the evaluation of predicates can be modelled. Such uncertainty can then be propagated throughout the measurement process. This establishes a possibilistic measurement of data quality.
Simulation is employed extensively to perform exploration of design spaces by computer designers. Contemporary simulation environments are now increasingly complex comprising of support for multiple cores and full ope...
详细信息
ISBN:
(纸本)9781479966585
Simulation is employed extensively to perform exploration of design spaces by computer designers. Contemporary simulation environments are now increasingly complex comprising of support for multiple cores and full operating systems. Resource use between simulation environments vary widely because of these different system contexts and the fact that multi-threaded applications have intrinsic non-determinism. In addition, more recent simulation environments use Dynamic Binary Instrumentation (DBI) traces collected on the system context (OS, library, threading API) of the host system. Methodologies that have been employed to validate and compare simulation frameworks are usually limited to comparing CPI and cache statistics and do not provide a detailed function-level breakdown or understanding of the source of mismatches. In this work, we attempt to identify and quantify the true sources of mismatch between a DBI framework and a full system simulation framework. We use memory traces of multi-threaded applications that have been annotated with function call information to allow for a breakdown of the source of mismatch within an application. To the best of our knowledge, this level of detail in comparison has not been attempted before, especially with traces of multi-threaded applications. In this study, we find that the sources of mismatch come mainly from threading mechanisms/threading API function calls, Library/System function calls and User Space condition synchronization. Based on the results of the study, we identify specific functions in each category of mismatch. We then propose a few ways to close the gap and enable more reliable simulation for design space exploration.
Multi-channel design has received significant attention for low-power wireless networks (LWNs), such as 802.15.4-based wireless sensor networks, due to its potential of mitigating interference and improving network ca...
详细信息
ISBN:
(纸本)9780769538754
Multi-channel design has received significant attention for low-power wireless networks (LWNs), such as 802.15.4-based wireless sensor networks, due to its potential of mitigating interference and improving network capacity. However, recent studies reveal that the number of orthogonal channels available on commodity wireless platforms is small, which significantly hinders the performance of existing multi-channel protocols. A promising solution is to explore the use of partially overlapping channels for communications. However, this approach faces several key challenges such as increased inter-channel interference and significantly higher overhead of channel measurement. In this paper, we systematically study the inter-channel interference and its impact on link capacity and the performance of multi-channel protocols in LWNs. First, we develop empirical models for characterizing inter-channel signal attenuation based on experiments on TelosB motes. We then propose a novel measurement algorithm which can significantly reduce the overhead of multi-channel interference measurement by exploiting the spectral power density (SPD) of the transmitter. Finally, we apply our interference models to both link capacity analysis and channel assignment protocols. Our extensive experiments on a testbed of 30 TelosB motes show that our interference measurement algorithm has an average error of 2.95%. Our results also demonstrate that multi-channel protocols for LWNs can significantly benefit from using overlapping channels.
The analysis of approaches to assessing the vulnerability of complex network systems and indicators used to measure the effect of external influences on the nodes and connections of the network is carried out. The pro...
详细信息
One of the major limitations of brain computer interface (BCI) is its long calibration time. Due to between sessions/subjects nonstationarity, typically a big amount of training data needs to be collected at the begin...
详细信息
ISBN:
(纸本)9781538666500
One of the major limitations of brain computer interface (BCI) is its long calibration time. Due to between sessions/subjects nonstationarity, typically a big amount of training data needs to be collected at the beginning of each session in order to tune the parameters of the system for the target user. In this paper, a number of novel weighted multi-task transfer learning algorithms are proposed in the classification domain to reduce the calibration time without sacrificing the classification accuracy of the BCI system. The proposed algorithms use data from other subjects and combine them to estimate the classifier parameters for the target subject. This combination is done based on how similar the data from each subject is to the few trials available from the target subject. The proposed algorithms are evaluated using dataset 2a from BCI competition IV. According to the results, the proposed algorithms lead to reduce the calibration time by 75% and enhance the average classification accuracy at the same time.
The proceedings contain 26 papers. The special focus in this conference is on Generative Reuse, Formal Domain Languages, Object Oriented Methods, Product Line Architectures, Requirements Reuse and Business modeling. T...
ISBN:
(纸本)3540676961
The proceedings contain 26 papers. The special focus in this conference is on Generative Reuse, Formal Domain Languages, Object Oriented Methods, Product Line Architectures, Requirements Reuse and Business modeling. The topics include: A new control structure for transformation-based generators;a reuse-oriented specification language for real-time systems;from application domains to executable domains;reuse of knowledge at an appropriate level of abstraction;building customizable frameworks for the telecommunications domain;object oriented analysis and modeling for families of systems with UML;from incremental development to incremental reasoning;achieving extensibility through product-lines and domain-specific languages;implementing product-line features with component reuse;representing requirements on generic software in an application family model;implementation issues in product line scoping;requirements classification and reuse;reuse measurement in the ERP requirements engineering process;business modeling and component mining based on rough set theory;reasoning about software-component behavior;use and identification of components in component-based software development methods;promoting reuse with active reuse repository systems;a method to recover design patterns using software product metrics;an approach based on heuristics, design patterns and anti-patterns;patterns leveraging analysis reuse of business processes;constructional design patterns as reusable components;a two-dimensional composition framework to support software adaptability and reuse;structuring mechanisms for an object-oriented formal specification language and software reuse in an object oriented framework.
The aim of this paper is an attempt of the simulation of the electromechanical systems with the use of the programming tools included in the modern graphical packages or graphical extensions to the programming languag...
详细信息
ISBN:
(纸本)9781424417353
The aim of this paper is an attempt of the simulation of the electromechanical systems with the use of the programming tools included in the modern graphical packages or graphical extensions to the programming languages. The advantage of such approach lies in possibility of the simultaneous high quality visualization of the currently obtained results. More - the possibilities of new graphical packages enable making calculations on the web platform - it is new and very interesting idea. The proposed solutions can be used both to the educational and presentation tasks.
Noise, found in all types of instrumentation and signal processing systems, has been a great challenge to tackle, especially, in biomedical signal processing tasks. Often, low-frequency and low power measurement signa...
详细信息
ISBN:
(纸本)9789897580390
Noise, found in all types of instrumentation and signal processing systems, has been a great challenge to tackle, especially, in biomedical signal processing tasks. Often, low-frequency and low power measurement signals are used in biomedical signal applications. This work is aimed at modeling and developing a simple, efficient, and inexpensive front end signal conditioner applying the cowpox approach to low-power analog signal measurements. We focus here on the simulation and implementation of a signal conditioner for the evaluation of its feasibility and efficiency based on the cost and accuracy constraints. As briefly outlined below, this article can serve as a model for facilitating the construction of semi-digital filters that can be applied to denoising of signals with low-frequency and very weak amplitude levels.
This paper highlights the facilities of VHDL-AMS to model multi-physical systems and deal with time discontinuities. The modeling and simulation of a piezo-electric device used to spray liquids are presented. Since it...
详细信息
暂无评论