2943 search results - page 148 / 589 » Software Implementation of Synchronous Programs |
112
click to vote
ISSE
2010
15 years 1 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
115
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
148
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
105
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...
107
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...