Sciweavers

5159 search results - page 445 / 1032
» Structural Testing of Executables
Sort
View
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 11 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
ECTEL
2006
Springer
15 years 11 months ago
FireFly: Lightweight AJAX System for F2F-CL
In this paper is illustrated the development of FireFly, a system for the Face to Face Collaborative Learning (F2F-CL). FireFly is written using AJAX, a set of technologies that al...
Rosario De Chiara, Marco Volpe 0003
ATAL
2003
Springer
15 years 11 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
CLUSTER
2001
IEEE
15 years 11 months ago
A Class of Loop Self-Scheduling for Heterogeneous Clusters
Distributed Computing Systems are a viable and less expensive alternative to parallel computers. However, a serious difficulty in concurrent programming of a distributed system is...
Anthony T. Chronopoulos, Manuel Benche, Daniel Gro...
PARA
2000
Springer
15 years 11 months ago
Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
Masha Sosonkina