1080 search results - page 154 / 216 » Improving Software Inspections by Using Reading Techniques |
VL
1996
IEEE
14 years 1 months ago
1996
IEEE
This paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a modu...
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
ASPLOS
1998
ACM
14 years 1 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...
IAAI
2003
13 years 10 months ago
2003
The crisis in science education and the need for innovative computer-based learning environments has prompted us to develop a multi-agent system, Betty’s Brain that implements t...