4722 search results - page 729 / 945 » Encoding Program Executions |
118
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...
121
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
130
click to vote
ISPAN
2000
IEEE
15 years 7 months ago
2000
IEEE
We present new architectural concepts for uniprocessor designs that conform to the data-driven computation paradigm. Usage of our D2 -CPU (Data-Driven processor) follows the natura...
135
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
129
click to vote
ADBIS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...