Result 1 to 20 of 183 total
Markov decision process (MDP) framework for software power optimization using call profiles on mobile phones. (English)
Des. Autom. Embed. Syst. 14, No. 2, 131-159 (2010).
1
Efficient test case generation for validation of UML activity diagrams. (English)
Des. Autom. Embed. Syst. 14, No. 2, 105-130 (2010).
2
A scheduler synthesis methodology for joint SW/HW design exploration of SoC. (English)
Des. Autom. Embed. Syst. 14, No. 2, 75-103 (2010).
3
DesertFD: a finite-domain constraint based tool for design space exploration. (English)
Des. Autom. Embed. Syst. 14, No. 1, 43-74 (2010).
4
Evaluation of the implementation cost of cache coherence protocols using omniscient actions. (English)
Des. Autom. Embed. Syst. 14, No. 1, 21-42 (2010).
5
Communication architecture design for reconfigurable multimedia SoC platform. (English)
Des. Autom. Embed. Syst. 14, No. 1, 1-20 (2010).
6
An effective state-based predictive approach for leakage energy management on embedded systems. (English)
Des. Autom. Embed. Syst. 13, No. 4, 311-332 (2009).
7
Runtime deadlock analysis for system level design. (English)
Des. Autom. Embed. Syst. 13, No. 4, 287-310 (2009).
8
An optimization based design for integrated dependable real-time embedded systems. (English)
Des. Autom. Embed. Syst. 13, No. 4, 245-285 (2009).
9
Using method interception for hardware/software co-development. (English)
Des. Autom. Embed. Syst. 13, No. 4, 223-243 (2009).
10
Optimizing control flow in loops using interval and dependence analysis. (English)
Des. Autom. Embed. Syst. 13, No. 3, 193-221 (2009).
11
Improving Java performance and energy dissipation through efficient code caching. (English)
Des. Autom. Embed. Syst. 13, No. 3, 179-192 (2009).
12
Cache-aware optimization of BAN applications. (English)
Des. Autom. Embed. Syst. 13, No. 3, 159-178 (2009).
13
Float-to-fixed and fixed-to-float hardware converters for rapid hardware/software partitioning of floating point software applications to static and dynamic fixed point coprocessors. (English)
Des. Autom. Embed. Syst. 13, No. 3, 139-157 (2009).
14
Optimistic chordal coloring: a coalescing heuristic for SSA form programs. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 115-137 (2009).
15
An efficient framework for dynamic reconfiguration of instruction-set customization. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 91-113 (2009).
16
Rethinking the synthesis of buses, data mapping, and memory allocation for MPSoC. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 73-88 (2009).
17
Locality optimization in a compiler for wireless applications. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 53-72 (2009).
18
Influence of different abstractions on the performance analysis of distributed hard real-time systems. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 27-49 (2009).
19
Design and implementation of a uniformity-improving page allocation scheme for flash-based storage systems. (English)
Des. Autom. Embed. Syst. 13, No. 1-2, 5-25 (2009).
20
Result 1 to 20 of 183 total