2129 search results - page 103 / 426 » Cutting-Edge Timing Analysis Techniques |
CACM
2010
14 years 10 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a technique for detecting possible events in outdoor areas monitored by a video surveillance system. In particular, here we focus on the time spent by an...
INFOVIS
2005
IEEE
15 years 3 months ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
COLING
2000
14 years 11 months ago
2000
A deterministic finite state transducer is a fast device for analyzing strings. It takes O(n) time to analyze a string of length n. In this paper, an application of this technique...