4747 search results - page 627 / 950 » Shuffle Memory System |
184
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
165
click to vote
USENIX
1994
15 years 8 months ago
1994
We considerhowtoimprovetheperformanceof le cachingbyallowinguser-levelcontrolover lecache replacementdecisions. Weusetwo-levelcachemanagement: the kernel allocates physical pages ...
190
click to vote
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
177
click to vote
IJHR
2008
15 years 6 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...
221
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...