12107 search results - page 379 / 2422 » Software That Can Think |
169
click to vote
IEEEAMS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper attempts to identify one of the necessary conditions for self-healing, or self-repair, in complex systems, and to propose means for satisfying this condition in heterog...
154
click to vote
KBSE
2003
IEEE
16 years 1 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
189
click to vote
CC
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
166
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...
177
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...