Sciweavers

4476 search results - page 270 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
VLSID
2002
IEEE
111views VLSI» more  VLSID 2002»
16 years 7 months ago
Application of Multi-Domain and Multi-Language Cosimulation to an Optical MEM Switch Design
This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation environment, to multi-domain and multi-language systems design. This met...
Ahmed Amine Jerraya, Benoît Charlot, Gabriel...
VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
15 years 10 months ago
Performance and Functional Verification of Microprocessors
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
Pradip Bose, Jacob A. Abraham
ICIP
2010
IEEE
15 years 4 months ago
A cascaded hierarchical framework for moving object detection and tracking
In this paper we propose a cascaded hierarchical framework for object detection and tracking. We claim that, by integrating both detection and tracking into a unified framework, t...
Chingchun Huang, Sheng-Jyh Wang
184
Voted
CASES
2005
ACM
15 years 8 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 6 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...