6274 search results - page 1033 / 1255 » Proofs, Programs, Processes |
97
Voted
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
145
click to vote
GD
1998
Springer
15 years 5 months ago
1998
Springer
We demonstrate the H3Viewer graph drawing library, which can be run from a standalone program or in conjunction with other programs such as SGI's Site Manager application. Our...
118
Voted
IPPS
1997
IEEE
15 years 5 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...
144
click to vote
ASPLOS
1996
ACM
15 years 5 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...
128
Voted
ICPP
1993
IEEE
15 years 4 months ago
1993
IEEE
Scalability of parallel architectures is an interesting area of current research. Shared memory parallel programming is attractive stemming from its relative ease in transitioning...