467 search results - page 92 / 94 » An integration framework for heterogeneous automatic softwar... |
83
Voted
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
102
click to vote
SPLC
2000
14 years 11 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
APGV
2006
ACM
15 years 3 months ago
2006
ACM
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...