1518 search results - page 266 / 304 » Cryptographic Test Correction |
114
click to vote
ENTCS
2002
15 years 10 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
126
click to vote
KI
2002
Springer
15 years 6 days ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
112
click to vote
EMSOFT
2011
Springer
14 years 8 days ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
126
click to vote
TON
2012
13 years 3 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
160
Voted
SOSP
2009
ACM
15 years 9 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...