9210 search results - page 1785 / 1842 » Analyzing Real-Time Systems |
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
The general goal of the paper is to show the normative/deontic nature of conventions. Conventions are traditionally defined as regularity of behavior based on expectations evolved...
ISLPED
2003
ACM
14 years 2 months ago
2003
ACM
Ever shrinking device sizes and innovative micro-architectural and circuit design techniques have made it possible to have multi-million transistor systems running at multi-gigahe...
MOBICOM
2003
ACM
14 years 2 months ago
2003
ACM
The characteristics of ad hoc networks naturally encourage the deployment of distributed services. Although current networks implement group communication methods, they do not sup...
NSPW
2003
ACM
14 years 2 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...