Showing 12,641 - 12,650 results of 12,931 for search '"Processions"', tempo de consulta: 0.05s Limitar resultados
  1. 12641

    Static analysis and dynamic steering of time-dependent systems. por Vicario, E.

    Artigo

    Static analysis and dynamic steering of time-dependent systems.
  2. 12642

    Formal analysis of a space-craft controller using SPIN. por Havelund, K.

    Artigo

    Formal analysis of a space-craft controller using SPIN.
  3. 12643

    From application descriptions to hardware in seconds a logic-based approach to bridging the gap. por Benkrid, K.

    Artigo

    From application descriptions to hardware in seconds a logic-based approach to bridging the gap.
  4. 12644

    Statistical analysis of subthreshold leakage current for VLSI circuits. por Rao, R.

    Artigo

    Statistical analysis of subthreshold leakage current for VLSI circuits.
  5. 12645

    Circuit and microarchitectural techniques for reducing cache leakage power. por Nam Sung Kim

    Artigo

    Circuit and microarchitectural techniques for reducing cache leakage power.
  6. 12646

    A comparison of auditory and blind separation techniques for speech segregation. por Van der Kouwe, A.J.W

    Artigo

    A comparison of auditory and blind separation techniques for speech segregation.
  7. 12647

    Block-based multiperiod dynamic memory design for low data-retention power. por Joohee Kim

    Artigo

    Block-based multiperiod dynamic memory design for low data-retention power.
  8. 12648

    The data 37 Years of Moore's Law. por Adee, S.

    Publicado en IEEE spectrum
    Artigo

    The data 37 Years of Moore's Law.
  9. 12649

    Instability of the proportional fair scheduling algorithm for HDR. por Andrews, M.

    Artigo

    Instability of the proportional fair scheduling algorithm for HDR.
  10. 12650

    Adaptive pre- and post-compensation of nonlinear distortions for high-level data Modulations. por Giugno, L.

    Artigo

    Adaptive pre- and post-compensation of nonlinear distortions for high-level data Modulations.

Ferramentas de procura: