Sciweavers

124 search results - page 13 / 25
» Calculating cyclotomic polynomials
Sort
View
QSIC
2007
IEEE
15 years 6 months ago
Towards Automatic Measurement of Probabilistic Processes
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
Lin Song, Yuxin Deng, Xiaojuan Cai
ADCM
2010
95views more  ADCM 2010»
14 years 12 months ago
Pairs of oblique duals in spaces of periodic functions
Abstract. We construct non-tight frames in finite-dimensional spaces consisting of periodic functions. In order for these frames to be useful in practice one needs to calculate a d...
Ole Christensen, Say Song Goh
69
Voted
DM
2002
85views more  DM 2002»
14 years 11 months ago
Equimodular curves
This paper is a continuation of Equimodular curves, LSE-CDAM-2000-17. First, it is shown by algebraic means that the equimodular curves for a reducible matrix are closed curves. T...
Norman Biggs
80
Voted
DAC
2009
ACM
15 years 6 months ago
Variational capacitance extraction of on-chip interconnects based on continuous surface model
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
Wenjian Yu, Chao Hu, Wangyang Zhang
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 3 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...