1253 search results - page 168 / 251 » order 2000 |
106
click to vote
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
129
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
LCN
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
105
click to vote
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
103
click to vote
MSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...