371 search results - page 13 / 75 » Causal Program Slicing |
182
click to vote
ENTCS
2006
15 years 5 months ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
144
Voted
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
We describe the Slice Processor micro-architecture that implements a generalized operation-based prefetching mechanism. Operation-based prefetchers predict the series of operation...
175
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
165
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
As more data value speculation mechanisms are being proposed to speed-up processors, there is growing pressure on the critical processor structures that must buffer the state of t...