5740 search results - page 1047 / 1148 » Dynamic Distributed BackJumping |
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. One key issue facing robotic teams is effective coordination mechanisms. Many robotic groups operate within domains where restrictions such as limiting areas of operation...
ECWEB
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Most e-commerce Web sites dynamically generate their contents through a three-tier server architecture composed of a Web server, an application server, and a database ser...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
OLAP queries are typically heavy-weight and ad-hoc thus requiring high storage capacity and processing power. In this paper, we address this problem using a database cluster which...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Scheduling parallel jobs has been an active investigation area. The scheduler has to deal with heterogeneous workloads and try to obtain throughputs and response times such that en...