1528 search results - page 112 / 306 » Performance Assertion Checking |
128
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
124
click to vote
CARDIS
2006
Springer
15 years 6 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
126
click to vote
ICISS
2010
Springer
15 years 8 days ago
2010
Springer
Existing proposals for end-to-end independently-verifiable (E2E) voting systems require that voters check the presence of a "receipt" on a secure bulletin board. The tall...
145
click to vote
QEST
2010
IEEE
15 years 6 days ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
137
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...