76 search results - page 1 / 16 » A framework for testing special-purpose memories |
119
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
76
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
114
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
103
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
74
Voted
TCAD
2002
15 years 22 days ago
2002
