Sciweavers

1987 search results - page 275 / 398
» Directional filtering transform
Sort
View
DAC
1997
ACM
15 years 7 months ago
A Parallel/Serial Trade-Off Methodology for Look-Up Table Based Decoders
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
Claus Schneider
83
Voted
INFOCOM
1993
IEEE
15 years 7 months ago
Power-Optimal Layout of Passive, Single-Hop, Fiber-Optic Interconnections Whose Capacity Increases with the Number of Stations
Passive, single-hop interconnections among N stations, each with several transmitters and receivers, provide a communication path between any two stations using one of the transmi...
Yitzhak Birk
129
Voted
VLDB
1993
ACM
99views Database» more  VLDB 1993»
15 years 7 months ago
Control of an Extensible Query Optimizer: A Planning-Based Approach
III this paper we address the problem of controlling the execution of a query optimizer. We describe a control for the optimization process that is based on planning. The controll...
Gail Mitchell, Umeshwar Dayal, Stanley B. Zdonik
116
Voted
RTA
2010
Springer
15 years 7 months ago
Proving Productivity in Infinite Data Structures
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
Hans Zantema, Matthias Raffelsieper
159
Voted
FASE
2004
Springer
15 years 7 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...