1833 search results - page 348 / 367 » Mechanized Verification with Sharing |
150
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
148
click to vote
HPCA
1999
IEEE
15 years 10 months ago
1999
IEEE
In general-purpose microprocessors, recent trends have pushed towards 64-bit word widths, primarily to accommodate the large addressing needs of some programs. Many integer proble...
149
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
In general topology networks, routing from one node to another over a tree embedded in the network is intuitively a good strategy, since it typically results in a route length of O...
186
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
With the proliferation of high-speed networks and networked services, provisioning differentiated services to a diverse user base with heterogeneous QoS requirements has become an ...
164
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and...