Sciweavers

2695 search results - page 310 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
ICSE
2008
IEEE-ACM
16 years 4 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
ICSEA
2008
IEEE
15 years 10 months ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...
ET
1998
99views more  ET 1998»
15 years 3 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
136
Voted
HIS
2008
15 years 5 months ago
The Hybrid Integration of Perceptual Symbol Systems and Interactive Reinforcement Learning
In order to produce robots which can interact more effectively with humans we propose that it is necessary for their cognitive processes to be grounded in the same perceptual elem...
Michael John Knowles, Stefan Wermter
ICCAD
2006
IEEE
169views Hardware» more  ICCAD 2006»
16 years 23 days ago
Microarchitecture parameter selection to optimize system performance under process variation
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
Xiaoyao Liang, David Brooks