1833 search results - page 257 / 367 » Mechanized Verification with Sharing |
153
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
160
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
166
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
148
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
153
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Functional annotation of proteins remains a challenging task. Currently the scientific literature serves as the main source for yet uncurated functional annotations, b...