1799 search results - page 294 / 360 » The Logic of Correctness in Software Engineering |
154
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
172
click to vote
CGO
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
180
Voted
KBSE
2009
IEEE
16 years 27 days ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
169
Voted
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Design patterns present good solutions to frequently occurring problems in object-oriented software design. Thus their correct application in a system’s design may significantl...
162
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...