957 search results - page 84 / 192 » Modular Static Program Analysis |
124
Voted
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
143
Voted
ICDCIT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
207
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
109
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
137
Voted
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...