Sciweavers

8824 search results - page 125 / 1765
» On the Complexity of Real Functions
Sort
View
ARTS
1999
Springer
15 years 8 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
WSC
1998
15 years 5 months ago
Array-driven Simulation of Real Databases
A method to represent actual relational databases with arrays for simulation modeling of their performance as part of a software/hardware system has been created. The method inclu...
William S. Keezer
AAAI
2007
15 years 6 months ago
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics
We study the behavior of the classical A∗ search algorithm when coupled with a heuristic that provides estimates, accurate to within a small multiplicative factor, of the distan...
Hang T. Dinh, Alexander Russell, Yuan Su
DATE
2005
IEEE
111views Hardware» more  DATE 2005»
15 years 6 months ago
MINLP Based Topology Synthesis for Delta Sigma Modulators Optimized for Signal Path Complexity, Sensitivity and Power Consumptio
This paper proposes a novel architecture synthesis algorithm for single-loop single-bit ∆Σ modulators. We defined a generic modulator architecture and derived its noise and si...
Hua Tang, Ying Wei, Alex Doboli
RECOMB
2005
Springer
16 years 4 months ago
Decomposition of Overlapping Protein Complexes: A Graph Theoretical Method for Analyzing Static and Dynamic Protein Associations
Background: Most cellular processes are carried out by multi-protein complexes, groups of proteins that bind together to perform a specific task. Some proteins form stable complex...
Elena Zotenko, Katia S. Guimarães, Raja Jot...