2943 search results - page 428 / 589 » Software Implementation of Synchronous Programs |
162
Voted
JCST
2010
14 years 9 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
206
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
179
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
112
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
224
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...