11740 search results - page 1941 / 2348 » More Problems in Rewriting |
197
click to vote
CARDIS
2008
Springer
15 years 9 months ago
2008
Springer
In recent years more and more security sensitive applications use passive smart devices such as contactless smart cards and RFID tags. Cost constraints imply a small hardware footp...
211
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...
199
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
205
click to vote
FORMATS
2008
Springer
15 years 9 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
168
click to vote
ISLPED
2007
ACM
15 years 9 months ago
2007
ACM
Throughput servers using simultaneous multithreaded (SMT) processors are becoming an important paradigm with products such as Sun's Niagara and IBM Power5. Unfortunately, thr...