128 search results - page 24 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
COMPSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
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...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
VLDB
1989
ACM
15 years 3 months ago
1989
ACM
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
ICALT
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
BMCBI
2007
14 years 11 months ago
2007
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...