Sciweavers

124 search results - page 13 / 25
» Calculating cyclotomic polynomials
Sort
View
114
Voted
QSIC
2007
IEEE
15 years 10 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
110
Voted
ADCM
2010
95views more  ADCM 2010»
15 years 3 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
101
Voted
DM
2002
85views more  DM 2002»
15 years 3 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
112
Voted
DAC
2009
ACM
15 years 10 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
154
Voted
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 7 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...