1880 search results - page 191 / 376 » A Static Analysis for Beta-Binders |
157
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
— Sharing of 3G network infrastructure among operators offers an alternative solution to reducing the investment in the coverage phase of WCDMA. For radio access network (RAN) sh...
166
click to vote
ICCAD
2007
IEEE
16 years 29 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...
190
click to vote
INFOCOM
2007
IEEE
16 years 28 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 ...
159
click to vote
KBSE
2007
IEEE
16 years 27 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: ...
133
click to vote
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...