471 search results - page 6 / 95 » Case studies for self-organization in computer science |
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
INFOVIS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper introduces a number of general methods for visualizing commonality in sets of text files. Each visualization simultaneously compares one file in the set to all other ...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
CSEE
2000
Springer
14 years 1 months ago
2000
Springer
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
ACSC
2004
IEEE
14 years 19 days ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...