2035 search results - page 302 / 407 » Working memory |
143
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
148
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
112
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
139
click to vote
ISLPED
2004
ACM
15 years 8 months ago
2004
ACM
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
137
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Stories make our experiences memorable over time. In constructing and sharing our personal and communal memories, we move in a reflective manner back and forth between our lifewor...