3557 search results - page 545 / 712 » Authoring Presentation for OpenMath |
143
click to vote
COMPCON
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes Tempest, a collection of mechanisms for communication and synchronization in parallel programs. With these mechanisms, authors of compilers, libraries, and ap...
169
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
170
click to vote
FTDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
A VOD server handles various types of media such as continuous media (CM) and non-continuous media (NM). Conventional VOD server buffer scheduling algorithms like Round Robin (RR)...
169
click to vote
RTCSA
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, we present a joint scheduling of hard deadline periodic and soft deadline aperiodic tasks in dynamic-priority systems. The proposed algorithm has extended the fixed...
159
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
In a digital library system, documents are available in digital form and therefore are more easily copied and their copyrights are more easily violated. This is a very serious pro...