2335 search results - page 349 / 467 » Functional Differentiation of Computer Programs |
134
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
129
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...
136
click to vote
ISSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
134
Voted
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
117
click to vote
INFORMATICALT
2000
15 years 2 months ago
2000
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...