Sciweavers

5234 search results - page 138 / 1047
» Method Components - Rationale Revealed
Sort
View
ICCD
2004
IEEE
122views Hardware» more  ICCD 2004»
15 years 7 months ago
Quality Improvement Methods for System-Level Stimuli Generation
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
IJCAI
2003
14 years 11 months ago
Comparing image-based localization methods
This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
Robert Sim, Gregory Dudek
WSC
2001
14 years 11 months ago
Resampling methods for input modeling
Stochastic simulation models are used to predict the behavior of real systems whose components have random variation. The simulation model generates artificial random quantities b...
Russell R. Barton, Lee Schruben
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 2 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
TII
2010
166views Education» more  TII 2010»
14 years 4 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis