2520 search results - page 271 / 504 » Model-checking behavioral programs |
154
click to vote
SAMOS
2005
Springer
16 years 21 hour ago
2005
Springer
In this paper, we introduce the concept of flux caches envisioned to improve processor performance by dynamically changing the cache organization and implementation. Contrary to t...
152
click to vote
WIA
2005
Springer
16 years 14 hour ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
158
click to vote
AOSD
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
151
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
142
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...