SAC
2000
ACM
14 years 7 days ago
2000
ACM
Modern object-relational database systems are capable of managing multimedia data, e.g. image, video and audio. In this paper we study how such universal database systems can be u...
SAC
2000
ACM
14 years 7 days ago
2000
ACM
SAC
2000
ACM
14 years 7 days ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
SAC
2000
ACM
14 years 7 days ago
2000
ACM
PRDC
2000
IEEE
14 years 8 days ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
PRDC
2000
IEEE
14 years 8 days ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
PARA
2000
Springer
14 years 8 days ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
PARA
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
PARA
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
PARA
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...