966 search results - page 158 / 194 » Code Generation for Embedded Processors |
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
105
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
ISLPED
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a non-uniform cache architecture for reducing the power consumption of memory systems. The nonuniform cache allows having different associativity values (i.e.,...
118
click to vote
EPIA
1999
Springer
15 years 4 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we present a scene analysis technique with subpixel filtering based on dense coded light fields. Our technique computes alignment and optically projects analysis ...