3394 search results - page 277 / 679 » A Modal Model of Memory |
158
click to vote
TACAS
2007
Springer
16 years 24 days 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...
164
click to vote
ICPPW
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
180
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to...
203
click to vote
ISHPC
1999
Springer
15 years 11 months ago
1999
Springer
Superscalar microprocessor efficiency is generally not as high as anticipated. In fact, sustained utilization below thirty percent of peak is not uncommon, even for fully optimized...
174
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...