5247 search results - page 944 / 1050 » The Generalized A* Architecture |
175
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
146
click to vote
ECTEL
2007
Springer
16 years 19 days ago
2007
Springer
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...
161
click to vote
EMSOFT
2007
Springer
16 years 19 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
159
click to vote
FPGA
2007
ACM
16 years 19 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
205
click to vote
ICS
2007
Tsinghua U.
16 years 19 days ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...