16725 search results - page 2956 / 3345 » Engineering Software Correctness |
138
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication misses--those serviced by dirty data in remote caches--are a pressing performance limiter in shared-memory multiprocessors. Recent research has indicated that tempor...
143
Voted
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...
167
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
141
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
133
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...