Sciweavers

3272 search results - page 269 / 655
» Introduction to Software Performance Engineering
Sort
View
ISPASS
2003
IEEE
15 years 12 months ago
Evaluating the importance of virtual memory for Java
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 ...
146
Voted
KBSE
2003
IEEE
15 years 12 months ago
Parallel Breadth-First Search LTL Model-Checking
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...
Jiri Barnat, Lubos Brim, Jakub Chaloupka
IUI
2003
ACM
15 years 12 months ago
Tool support for designing nomadic applications
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...
Giulio Mori, Fabio Paternò, Carmen Santoro
PPPJ
2003
ACM
15 years 12 months ago
Multi-tiered distributed computing platform
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...
ADAEUROPE
2003
Springer
15 years 12 months ago
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
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...