2673 search results - page 234 / 535 » Guided Static Analysis |
160
click to vote
ICCAD
2007
IEEE
16 years 8 days ago
2007
IEEE
Modeling the effect of coupling noise on circuit delay is a key issue in static timing analysis (STA) and involves the “victimaggressor alignment” problem. As delay-noise depe...
170
click to vote
INFOCOM
2007
IEEE
16 years 8 days ago
2007
IEEE
— This paper presents a link model which captures the queue dynamics when congestion windows of TCP sources change. By considering both the self-clocking and the link integrator ...
144
click to vote
KBSE
2007
IEEE
16 years 7 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
199
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
160
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...