1992 search results - page 122 / 399 » Memory modeling for system synthesis |
138
Voted
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
168
Voted
AUTOMATICA
2007
15 years 6 months ago
2007
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
214
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...
160
Voted
ISORC
2009
IEEE
16 years 15 days ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
173
click to vote
CODES
2006
IEEE
15 years 12 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...