3814 search results - page 674 / 763 » Operating system support for multimedia systems |
150
Voted
LCTRTS
2001
Springer
15 years 8 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...
136
Voted
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
It is desirable to store data on data storage servers such as mail servers and file servers in encrypted form to reduce security and privacy risks. But this usually implies that ...
199
Voted
STOC
1997
ACM
15 years 8 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...
149
Voted
ICCD
2000
IEEE
15 years 7 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
149
Voted
DOLAP
2008
ACM
15 years 5 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...