6102 search results - page 614 / 1221 » Generating Optimizing Specializers |
198
click to vote
ICS
2000
Tsinghua U.
15 years 11 months ago
2000
Tsinghua U.
We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops. The key idea is to embed the iteration space of every statement in a loop ...
200
click to vote
ICS
2000
Tsinghua U.
15 years 11 months ago
2000
Tsinghua U.
The rapid advancements of networking technology have boosted potential bandwidth to the point that the cabling is no longer the bottleneck. Rather, the bottlenecks lie at the cros...
184
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
227
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
198
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Role Engineering is a security-critical task for systems using role-based access control (RBAC). Different role-mining approaches have been proposed that attempt to automatically ...