1660 search results - page 35 / 332 » Abstract Application Modeling for System Design Space Explor... |
EHCI
2001
13 years 10 months ago
2001
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...
VLSID
2008
IEEE
14 years 3 months ago
2008
IEEE
With the shift towards deep sub-micron (DSM) technologies, the increase in leakage power and the adoption of poweraware design methodologies have resulted in potentially significa...
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...