5241 search results - page 762 / 1049 » Embedded Programming with C |
150
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
132
Voted
STACS
2005
Springer
15 years 9 months ago
2005
Springer
The subset sum problem (SSP) (given n numbers and a target bound B, find a subset of the numbers summing to B), is one of the classical NP-hard problems. The hardness of SSP vari...
133
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
140
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
145
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...