Sökning: "DPLL"

Hittade 3 avhandlingar innehållade ordet DPLL.

  1. 1. Digital Phase Locked Loops for Radio Frequency Synthesis

    Författare :Ahmed Mahmoud; Integrerade elektroniksystem; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; CMOS; PLL; DPLL; VCO; DCO; loop filter; DS modulator; phase noise; spurs; quantization noise; BBPD; TDC; DTC;

    Sammanfattning : The demands for an ever higher data rate and a more varied functionality at minimal cost and power consumption have been the driving force behind most innovations in wireless communication systems. Intensive efforts have been made to develop Radio Frequency (RF) Integrated Circuits (ICs) and systems using low-cost Complementary Metal Oxide Semiconductor (CMOS) processes. LÄS MER

  3. 2. Short Proofs May Be Spacious : Understanding Space in Resolution

    Författare :Jakob Nordström; Johan Håstad; Albert Atserias; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; resolution; space; length; width; separation; lower bound; pebble game; pebbling formula; Beviskomplexitet; resolution; minne; längd; bredd; separation; undre gräns; pebblingspel; pebblingformel; Theoretical computer science; Teoretisk datalogi;

    Sammanfattning : Om man ser på de bästa nu kända algoritmerna för att avgöra satisfierbarhet hos logiska formler så är de allra flesta baserade på den så kallade DPLL-metoden utökad med klausulinlärning. De två viktigaste gränssättande faktorerna för sådana algoritmer är hur mycket tid och minne de använder, och att förstå sig på detta är därför en fråga som har stor praktisk betydelse. LÄS MER

  4. 3. Algorithms, measures and upper bounds for satisfiability and related problems

    Författare :Magnus Wahlström; Peter Jonsson; Oliver Kullmann; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Exact algorithms; upper bounds; algorithm analysis; satisfiability; Computer science; Datavetenskap;

    Sammanfattning : The topic of exact, exponential-time algorithms for NP-hard problems has received a lot of attention, particularly with the focus of producing algorithms with stronger theoretical guarantees, e.g. upper bounds on the running time on the form O(c^n) for some c. LÄS MER