2673 search results - page 222 / 535 » Guided Static Analysis |
161
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
148
click to vote
COLING
1996
15 years 7 months ago
1996
Tiffs work belongs to a family of research efforts, called nficrotheories and aimed at describing the static inemfing of all lexical categories in several languages in the fr,...
140
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
159
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
153
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...