Meta-learning is an efficient approach in the field of machine learning, -which involves multiple classifiers. In this paper, a meta-learning framework consisting of stacking meta-learning and cascade meta-learning -w...
详细信息
Patterns have recognised utility in softwareengineering design and development processes. the body of knowledge of design and development of agent-based systems is now sufficiently mature to be usefully expressed as ...
详细信息
this paper explores the problem of efficiently ordering inter-processor communication operations in both statically and dynamically-scheduled multiprocessors for iterative dataflow graphs with probabilistic execution ...
详细信息
ISBN:
(纸本)1595930914
this paper explores the problem of efficiently ordering inter-processor communication operations in both statically and dynamically-scheduled multiprocessors for iterative dataflow graphs with probabilistic execution times. In most digital signal processing applications, the throughput of the system is significantly affected by communication costs. We explicitly model these costs within an effective graph-theoretic analysis framework. We show that ordered transaction schedules can significantly outperform both self-timed schedules and dynamic schedules for moderate task execution time variability. As the task execution time variability increases, we show that first self-timed and then dynamic scheduling policies are preferred. We perform an extensive experimental comparison on both real and simulated benchmarks to gauge the effect of synchronization and communication over-head costs on these crossover points. Copyright 2005 ACM.
With 3G system introduction, the data communication applications are a key for the mobile Internet evolution. It is a challenge to design an extensible and resource-efficient software platform for mobile multimedia se...
详细信息
ISBN:
(纸本)076952432X
With 3G system introduction, the data communication applications are a key for the mobile Internet evolution. It is a challenge to design an extensible and resource-efficient software platform for mobile multimedia services. the methodology to identify the trade-off in the software architecture design was unexplored in the past literature. the author compares the two software platforms for micro browsers in order to identify the trade-off factors between extensibility and compactness. the author summarizes the three extension schemes, abstract rendering, XML framework, and extensible common components. the author proposes a discrete component analysis to evaluate the impact from the extensible architecture. Withthis analysis, the author presents the footprint overhead estimate for the embedded software environment designed for mobile handsets. It is a useful measure when the trade-off between the hard-wired concise implementation and the extension-tolerant implementations.
Projectile motion under idealized conditions has been well understood for centuries. However, once aerodynamic forces (drag and lift) are introduced, the motion becomes significantly more difficult to analyze and pred...
详细信息
ISBN:
(纸本)0791847438
Projectile motion under idealized conditions has been well understood for centuries. However, once aerodynamic forces (drag and lift) are introduced, the motion becomes significantly more difficult to analyze and predict. this paper compares two aerodynamic models on the flight of a baseball - the first by Robert Adair and the second by Greg Sawicki, Mont Hubbards, and William Stronge. Applied to the distance traveled by a baseball, the two models predict substantially different results. the results of the models were further examined through interactive computer simulations using Working Model and Autolev.
Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of both performance versus cost aspects and fault coverage of fault tolerant solutions. this further comp...
详细信息
ISBN:
(纸本)1595930914
Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of both performance versus cost aspects and fault coverage of fault tolerant solutions. this further complicates the difficult task of deploying the embedded softwarethat implements the control algorithms on a possibly distributed execution platform (for instance in automotive applications). In this paper, we present a novel technique for constructing a fault tree that models how component faults may lead to system failure. the fault tree enables us to use existing commercial analysis tools to assess a number of dependability metrics of the system. Our approach is centered on a model of computation, Fault Tolerant Data Flow (FTDF), that enables the integration of formal verification-techniques. this new analysis capability is added to ah existing design framework, also based on FTDF, that enables a synthesis-based, correct-by-construction, design methodology for the deployment of real-time feedback control systems in safety critical applications. Copyright 2005 ACM.
During late 1960's till 1980's underground mine simulation models like Penn State's UGMHS, VPI's FACESIM and CONSIM were extensively used by researchers and, to some extent by industry. Suboleski (1991...
详细信息
During late 1960's till 1980's underground mine simulation models like Penn State's UGMHS, VPI's FACESIM and CONSIM were extensively used by researchers and, to some extent by industry. Suboleski (1991) developed a simplified mathematical model of continuous miner coal production systems and ported it to a spreadsheet format for use by industry for production planning and equipment selection. However, shortcomings of this model were: 1) it did not include roof bolting operations, 2) data input for cut sequences was done manually and was cumbersome, 3) input and output sections were not separated, and 4) output analyses were not included. the authors have modified this model to address these shortcomings and make it more user-friendly. the overall structure of the model and its applications for production and productivity improvement, mine planning and equipment selection and analyzing delays is presented in this paper.
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling languages (DSML-s). However, there are still challenges hindering the wide-scale industrial application of model-based design. On...
详细信息
ISBN:
(纸本)1595930914
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling languages (DSML-s). However, there are still challenges hindering the wide-scale industrial application of model-based design. One of these unsolved problems is the lack of a practical, effective method for the formal specification of DSML semantics. this problem has negative impact on reusability of DSML-s and analysis tools in domain specific tool chains. To address these issues, we propose a formal well founded methodology with supporting tools to anchor the semantics of DSML-s to precisely defined and validated "semantic units". In our methodology, each of the syntactic and semantic DSML components is defined precisely and completely. the main contribution of our approach is that it moves toward an infrastructure for DSML design that integrates formal methods with practical engineering tools. In this paper we use a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s. Copyright 2005 ACM.
We present an overview of SPQR, the System for Pattern Query and Recognition, a toolkit that detects instances of known design patterns directly from object-oriented source code in an automated and flexible manner. Ba...
详细信息
this paper presents a model checking tool, SATABS, that implements a predicate abstraction refinement loop. Existing software verification tools such as SLAM, BLAST, or MAGIC use decision procedures for abstraction an...
详细信息
ISBN:
(纸本)3540253335
this paper presents a model checking tool, SATABS, that implements a predicate abstraction refinement loop. Existing software verification tools such as SLAM, BLAST, or MAGIC use decision procedures for abstraction and simulation that are limited to integers. SATABS overcomes these limitations by using a SAT-solver. this allows the model checker to handle the semantics of the ANSI-C standard accurately. this includes a sound treatment of bit-vector overflow, and of the ANSI-C pointer arithmetic constructs.
暂无评论