1833 search results - page 288 / 367 » Mechanized Verification with Sharing |
124
click to vote
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Value locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously-seen program values, has been studied enthusiastically in the...
173
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present a novel approach for realizing adaptive QoS control in the Internet called the adaptive load service (ALS). ALS was designed in a similar fashion to the ...
135
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
There have been many debates about the feasibility of providing guaranteed Quality of Service (QoS) when network traffic travels beyond the enterprise domain and into the vast unk...
121
click to vote
DEXA
2000
Springer
15 years 9 months ago
2000
Springer
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
132
click to vote
CGI
1999
IEEE
15 years 8 months ago
1999
IEEE
Many activities in computer graphics can be regarded as experiments on virtual objects or models. In the process of experimentation the existing models are gradually improved and ...