Sciweavers

1285 search results - page 143 / 257
» An analysis of XQuery benchmarks
Sort
View
DAC
1994
ACM
15 years 2 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
DATE
2004
IEEE
151views Hardware» more  DATE 2004»
15 years 1 months ago
Boosting: Min-Cut Placement with Improved Signal Delay
In this work we improve top-down min-cut placers in the context of timing closure. Using the concept of boosting factors, we adjust net weights according to net spans, so as to re...
Andrew B. Kahng, Igor L. Markov, Sherief Reda
VLDB
2000
ACM
248views Database» more  VLDB 2000»
15 years 1 months ago
Multi-Dimensional Database Allocation for Parallel Data Warehouses
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
Thomas Stöhr, Holger Märtens, Erhard Rah...
SAS
1997
Springer
111views Formal Methods» more  SAS 1997»
15 years 1 months ago
Fast and Effective Procedure Inlining
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
Oscar Waddell, R. Kent Dybvig
BIBM
2009
IEEE
113views Bioinformatics» more  BIBM 2009»
15 years 1 months ago
Fast Motif Selection for Biological Sequences
—We consider the problem of identifying motifs, recurring or conserved patterns, in the sets of biological sequences. To solve this task, we present new deterministic and exact a...
Pavel P. Kuksa, Vladimir Pavlovic