6197 search results - page 77 / 1240 » Sandbridge Software Tools |
ENTCS
2006
13 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ICSE
1999
IEEE-ACM
14 years 3 days ago
1999
IEEE-ACM
T WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is be...
HICSS
1997
IEEE
14 years 1 days ago
1997
IEEE
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
DSD
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
JUCS
2008
13 years 7 months ago
2008
Software maintenance tasks are the most expensive activities on legacy systems life cycle, and system understanding is the most important factor of this cost. Thus, in order to aid...