Sciweavers

9842 search results - page 1695 / 1969
» Compositional timing analysis
Sort
View
147
Voted
TVLSI
2002
130views more  TVLSI 2002»
15 years 3 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
109
Voted
CORR
2008
Springer
131views Education» more  CORR 2008»
15 years 3 months ago
Towards a More Accurate Carrier Sensing Model for CSMA Wireless Networks
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
Caihong Kai, Soung Chang Liew
149
Voted
PAMI
2007
138views more  PAMI 2007»
15 years 3 months ago
A Fast Biologically Inspired Algorithm for Recurrent Motion Estimation
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
Pierre Bayerl, Heiko Neumann
101
Voted
QUESTA
2007
50views more  QUESTA 2007»
15 years 3 months ago
Stability of join-the-shortest-queue networks
This paper investigates stability behavior in a variant of a generalized Jackson queueing network. In our network, some customers use a join-the-shortest-queue policy when enterin...
J. G. Dai, John J. Hasenbein, Bara Kim
JSW
2008
127views more  JSW 2008»
15 years 3 months ago
Interactive Traveling Assistant based on Agent Technologies and Mobile Computing
Many people love traveling for entertainment nowadays. In a journey, visitors often produce digital multimedia resources by capturing images, audios and videos. With digital device...
Han-Bin Chang, Hsuan-Pu Chang, Jason C. Hung
« Prev « First page 1695 / 1969 Last » Next »