14244 search results - page 2625 / 2849 » Modeling Program Predictability |
125
click to vote
CG
2000
Springer
15 years 6 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...
115
Voted
ISCA
1999
IEEE
15 years 6 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...
118
click to vote
ICALP
1998
Springer
15 years 6 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...
129
click to vote
IPPS
1997
IEEE
15 years 6 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...
141
click to vote
ASPLOS
1996
ACM
15 years 6 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...