16 search results - page 2 / 4 » Induction Variable Analysis with Delayed Abstractions |
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
TELETRAFFIC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Renewed interest in ALOHA-based Medium Access Control (MAC) protocols stems from their proposed applications to wireless ad hoc and sensor networks that require distribut...
HSNMC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Performance of real-time applications on network communication channels are strongly related to losses and temporal delays. Several studies showed that these network feat...
3DIC
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract—Modeling parasitic parameters of Through-SiliconVia (TSV) structures is essential in exploring electrical characteristics such as delay and signal integrity (SI) of circ...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...