Sciweavers

2142 search results - page 256 / 429
» Improved Conditional E-Payments
Sort
View
PERCOM
2006
ACM
14 years 10 months ago
Exploring Spatial Correlation for Link Quality Estimation in Wireless Sensor Networks
The irregularity in quality of wireless communication links poses significant research challenges in wireless sensor network design. Dynamic network conditions and environmental f...
Yingqi Xu, Wang-Chien Lee
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 7 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
14 years 7 months ago
Hybrid CEGAR: combining variable hiding and predicate abstraction
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
Chao Wang, Hyondeuk Kim, Aarti Gupta
ICCAD
2004
IEEE
125views Hardware» more  ICCAD 2004»
14 years 7 months ago
Temporal floorplanning using the T-tree formulation
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
14 years 7 months ago
Retiming with Interconnect and Gate Delay
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...
Chris C. N. Chu, Evangeline F. Y. Young, Dennis K....