2947 search results - page 199 / 590 » Analyzing Program Analyses |
180
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
148
click to vote
JAMIA
2010
2010
The inadvertent disclosure of personal health information through peer-to-peer file sharing programs
15 years 1 months ago
Objective There has been a consistent concern about the inadvertent disclosure of personal information through peer-to-peer file sharing applications, such as Limewire and Morpheu...
160
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
158
click to vote
SCAM
2008
IEEE
16 years 23 days ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
166
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...