Sciweavers

4698 search results - page 164 / 940
» Making Functionality More General
Sort
View
TOOLS
2010
IEEE
15 years 1 months ago
Understanding the Impact of Collection Contracts on Design
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
Stephen Nelson, David J. Pearce, James Noble
116
Voted
DAC
2005
ACM
16 years 4 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
100
Voted
ISCAS
2006
IEEE
54views Hardware» more  ISCAS 2006»
15 years 9 months ago
Modeling of switched DC-DC converters by mixed s-z description
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
Dalibor Biolek, Viera Biolkova, Josef Dobes
108
Voted
DCG
2006
78views more  DCG 2006»
15 years 3 months ago
A Geometric Study of the Split Decomposition
This paper sheds a new light on the split decomposition theory and T-theory from the viewpoint of convex analysis and polyhedral geometry. By regarding finite metrics as discrete ...
Hiroshi Hirai
93
Voted
JAT
2007
56views more  JAT 2007»
15 years 3 months ago
Quasi-interpolation in the Fourier algebra
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
Hans Georg Feichtinger, Norbert Kaiblinger