141 search results - page 6 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
113
click to vote
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
100
Voted
HCI
2009
14 years 9 months ago
2009
In order to improve website usability, it is important for developers to understand how users access websites. In this paper, we present Webjig, which is a support system for websi...