2095 search results - page 401 / 419 » Improved pebbling bounds |
165
Voted
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
177
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
162
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
188
Voted
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
For transmission of continuous media (CM) streams such as audio and video over the Internet, a critical issue is that periodic network overloads cause bursty packet losses. Studie...
158
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Parallel, multithreaded C and C++ programs such as web servers, database managers, news servers, and scientific applications are becoming increasingly prevalent. For these applic...