9626 search results - page 1246 / 1926 » Invariant Based Programming |
232
click to vote
ANOR
2011
15 years 2 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
241
click to vote
SIGOPS
2011
15 years 2 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
268
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
221
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
211
click to vote
ICSE
2011
IEEE-ACM
14 years 11 months ago
2011
IEEE-ACM
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...