783 search results - page 1 / 157 » A Framework for Exploring Optimization Properties |
CC
2009
Springer
14 years 5 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
RTS
2006
13 years 4 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
CC
2004
Springer
13 years 10 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
ICALT
2006
IEEE
13 years 11 months ago
2006
IEEE
raction of free-standing metadata describing learning objects is typified by an analytical model which primarily focuses on the encoding of discrete properties pertaining to the ...
ECBS
2003
IEEE
13 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...