2799 search results - page 445 / 560 » computing 1998 |
166
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
119
click to vote
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....
114
click to vote
CIA
1998
Springer
15 years 6 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
88
Voted
CPE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Approximate Mean Value Analysis (MVA) is a popular technique for analyzing queueing networks because of the efficiency and accuracy that it affords. In this paper, we pre...
129
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...