113 search results - page 19 / 23 » A Methodology for Validation of Microprocessors using Equiva... |
161
click to vote
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
172
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
112
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
141
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
156
click to vote
IPCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...