The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
Yolanda Becerra, Toni Cortes, Jordi Garcia, Nacho ...
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
Andrew J. Page, Thomas M. Keane, Richard Allen, Th...
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Di...