Sciweavers

2368 search results - page 238 / 474
» Model of conceptual design of complex electronic systems
Sort
View
CODES
2003
IEEE
15 years 12 months ago
A multiobjective optimization model for exploring multiprocessor mappings of process networks
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
Cagkan Erbas, Selin C. Erbas, Andy D. Pimentel
DAC
2000
ACM
16 years 7 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
ALPIT
2008
IEEE
16 years 1 months ago
A Plan-Based Dialogue Model Using a Discourse Stack for Intelligent Human-Robot Interface Development
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
Sangwoo Kang, Youngjoong Ko, Jungyun Seo
FPL
2004
Springer
205views Hardware» more  FPL 2004»
16 years 1 days ago
A System Level Resource Estimation Tool for FPGAs
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
Changchun Shi, James Hwang, Scott McMillan, Ann Ro...
SEW
2006
IEEE
16 years 20 days ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney