2035 search results - page 111 / 407 » Working memory |
134
click to vote
ITC
1992
IEEE
15 years 7 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
154
Voted
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Limited bandwidth to off-chip main memory is a performance bottleneck in chip multiprocessors for streaming computations, such as Cell/B.E., and this will become even mor...
111
click to vote
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
As compared to a complex single processor based system, on-chip multiprocessors are less complex, more power efficient, and easier to test and validate. In this work, we focus on a...
121
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
203
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...