Sciweavers

3272 search results - page 336 / 655
» Introduction to Software Performance Engineering
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...
COMPSAC
2001
IEEE
15 years 10 months ago
Exception Handling in Component-Based System Development
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...
Alexander B. Romanovsky
ICSE
2000
IEEE-ACM
15 years 10 months ago
Improving problem-oriented mailing list archives with MCS
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
Robert S. Brewer
AOSD
2008
ACM
15 years 8 months ago
View-based maintenance of graphical user interfaces
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
Peng Li, Eric Wohlstadter
EMSOFT
2008
Springer
15 years 8 months ago
Active property checking
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
Patrice Godefroid, Michael Y. Levin, David A. Moln...