1660 search results - page 112 / 332 » Abstract Application Modeling for System Design Space Explor... |
158
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
171
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
159
click to vote
TVCG
2011
14 years 11 months ago
2011
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...
147
click to vote
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
155
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...