4737 search results - page 135 / 948 » The LOGIC negotiation model |
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
PATMOS
2005
Springer
14 years 2 months ago
2005
Springer
A new method for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as ...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
SIP
2007
13 years 10 months ago
2007
We present a variational PDE based model for tracking objects under occlusion. Here, prior shape information is used to segment object boundaries that are occluded. The novelty in...
DALT
2004
Springer
14 years 29 days ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...