Sciweavers

2578 search results - page 139 / 516
» Performance modeling for early analysis of multi-core system...
Sort
View
IJCV
2007
210views more  IJCV 2007»
13 years 8 months ago
A Behavioral Analysis of Computational Models of Visual Attention
Robots often incorporate computational models of visual attention to streamline processing. Even though the number of visual attention systems employed on robots has increased dram...
Frederick Shic, Brian Scassellati
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 4 months ago
Achieving higher frequencies in large-scale nonlinear model predictive control
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
Victor M. Zavala, Mihai Anitescu
HASE
1999
IEEE
14 years 1 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
WOTUG
2007
13 years 10 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
HICSS
2007
IEEE
151views Biometrics» more  HICSS 2007»
14 years 3 months ago
The Impact of Information Technology on the Temporal Optimization of Supply Chain Performance
The objective of this paper is to suggest a systematic means by which the timing and focus of information technology policies can be used to optimize supply chain performance and ...
Ken Dozier, David Chang