16725 search results - page 2723 / 3345 » Engineering Software Correctness |
233
click to vote
PLDI
2010
ACM
16 years 7 days ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
200
click to vote
COMPSAC
2002
IEEE
16 years 4 days ago
2002
IEEE
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...
189
click to vote
COMPSAC
2002
IEEE
16 years 4 days ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
242
click to vote
GECCO
2010
Springer
15 years 12 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
197
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...