9110 search results - page 1403 / 1822 » Formally-Based Design Evaluation |
208
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
188
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
The foremost goal of superscalar processor design is to increase performance through the exploitation of instruction-level parallelism (ILP). Previous studies have shown that spec...
175
click to vote
PPOPP
1993
ACM
15 years 11 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
191
click to vote
SIGMETRICS
1993
ACM
15 years 11 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
151
click to vote
INFOCOM
1992
IEEE
15 years 11 months ago
1992
IEEE
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...