8093 search results - page 1555 / 1619 » Design optimization |
169
click to vote
RTCSA
2006
IEEE
16 years 6 days ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
168
click to vote
ADHOCNOW
2006
Springer
16 years 5 days ago
2006
Springer
Flash memory is often the technology of choice for sensor networks because of its cost-effectiveness and attractive energy properties. In storage-constrained sensor network applica...
207
click to vote
ACL2
2006
ACM
16 years 5 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
171
click to vote
CASES
2006
ACM
16 years 5 days ago
2006
ACM
A Java bytecode-to-C ahead-of-time compiler (AOTC) can improve the performance of a Java virtual machine (JVM) by translating bytecode into C code, which is then compiled into mac...
160
click to vote
COMPGEOM
2006
ACM
16 years 4 days ago
2006
ACM
We consider a class of geometric facility location problems in which the goal is to determine a set X of disks given by their centers (tj) and radii (rj) that cover a given set of...