Sciweavers

6274 search results - page 86 / 1255
» From query complexity to computational complexity
Sort
View
89
Voted
ISMVL
2005
IEEE
59views Hardware» more  ISMVL 2005»
15 years 8 months ago
Radix Converters: Complexity and Implementation by LUT Cascades
In digital signal processing, we often use higher radix system to achieve high-speed computation. In such cases, we require radix converters. This paper considers the design of LU...
Tsutomu Sasao
93
Voted
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
15 years 7 months ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy
138
Voted
IJFCS
2008
166views more  IJFCS 2008»
15 years 2 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
113
Voted
ECCC
2002
103views more  ECCC 2002»
15 years 2 months ago
Monotone complexity and the rank of matrices
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...
Pavel Pudlák
157
Voted
PODC
2012
ACM
13 years 5 months ago
The cost of fault tolerance in multi-party communication complexity
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
Binbin Chen, Haifeng Yu, Yuda Zhao, Phillip B. Gib...