7890 search results - page 1546 / 1578 » The MathSAT 3 System |
102
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
HIKM
2006
ACM
15 years 3 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
Peer-to-peer (P2P) networks continue to be popular means of trading content. However, very little protection is in place to make sure that the files exchanged in these networks a...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
Despite its growing use in critical infrastructure services, the performance of IP(v4) Anycast and its interaction with IP routing practices is not well understood. In this paper,...
IUI
2006
ACM
15 years 3 months ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...