4167 search results - page 284 / 834 » Regression model checking |
145
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
129
click to vote
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
Ensembles are often capable of greater prediction accuracy than any of their individual members. As a consequence of the diversity between individual base-learners, an ensemble wil...
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...
134
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
123
Voted
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...