Sciweavers

6239 search results - page 7 / 1248
» From Zinc to Design Model
Sort
View
ICFEM
2007
Springer
13 years 11 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
13 years 11 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
CVPR
2012
IEEE
11 years 9 months ago
3D landmark model discovery from a registered set of organic shapes
We present a machine learning framework that automatically generates a model set of landmarks for some class of registered 3D objects: here we use human faces. The aim is to repla...
Clement Creusot, Nick Pears, Jim Austin
ASPDAC
2004
ACM
110views Hardware» more  ASPDAC 2004»
14 years 15 days ago
Embedded software generation from system level design languages
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
Haobo Yu, Rainer Dömer, Daniel Gajski
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
13 years 7 months ago
From experiment design to closed-loop control
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...
Håkan Hjalmarsson