1760 search results - page 21 / 352 » A System to Mark Programs Automatically |
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...