587 search results - page 94 / 118 » Improving the Java memory model using CRF |
106
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
109
Voted
EUROPAR
1999
Springer
15 years 6 months ago
1999
Springer
For complex queries in parallel database systems, substantial amounts of data must be redistributed between operators executed on different processing nodes. Frequently, such inter...
114
Voted
MICRO
2008
IEEE
15 years 8 months ago
2008
IEEE
As the number of transistors integrated on a chip continues to increase, a growing challenge is accurately modeling performance in the early stages of processor design. Analytical...
135
click to vote
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
131
Voted
AAECC
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...