3889 search results - page 510 / 778 » The Use of Program Dependence Graphs in Software Engineering |
135
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
191
click to vote
FASE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
155
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
173
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
136
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...