10870 search results - page 1945 / 2174 » Model Checking Programs |
192
click to vote
CG
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
158
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Providing adequate data bandwidth is extremely important for a wide-issue superscalar processor to achieve its full performance potential. Adding a large number of ports to a data...
193
click to vote
IPPS
1997
IEEE
15 years 10 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...
217
click to vote
ASPLOS
1996
ACM
15 years 10 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...
163
click to vote
ASPLOS
1992
ACM
15 years 10 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...