7961 search results - page 1353 / 1593 » Input-Output Model Programs |
130
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
143
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
178
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...
152
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
132
click to vote
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...