6719 search results - page 320 / 1344 » A Generalization of Automatic Sequences |
206
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
103
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
114
click to vote
NDSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
141
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...