8094 search results - page 351 / 1619 » Improvements in Formula Generalization |
151
click to vote
GLVLSI
2006
IEEE
16 years 9 days ago
2006
IEEE
We study gate delay variation caused by crosstalk aggressor alignment, i.e., difference of signal arrival times in coupled neighboring interconnects. This effect is as significan...
198
click to vote
IWCMC
2006
ACM
16 years 6 days ago
2006
ACM
The concept of multi-hop CDMA cellular networks has been around for sometime now. It is a widely accepted assumption that using multi-hopping in cellular networks will increase th...
153
click to vote
UIST
2006
ACM
16 years 6 days ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...
180
click to vote
VRML
2006
ACM
16 years 6 days ago
2006
ACM
In this paper, a function-based extension of Extensible 3D (X3D) is proposed. The extension allows authors to use analytical functions to define geometry, color, 3D texture as wel...
159
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...