Visas 411 - 420 av 433 resultat för sökning '"Specification."', Sökningstid: 0,02s Förfina resultatet
  1. 411

    GALDS a complete framework for designing multiclock ASICs and SoCs. av Chattopadhyay, A.

    Artikel

    GALDS a complete framework for designing multiclock ASICs and SoCs.
  2. 412

    A formal specification and verification framework for Time Warp-based parallel simulation. av Frey, P.

    Artikel

    A formal specification and verification framework for Time Warp-based parallel simulation.
  3. 413

    A test generation strategy for pairwise testing. av Kuo-Chung Tai

    Artikel

    A test generation strategy for pairwise testing.
  4. 414

    Defining and applying measures of distance between specifications. av Jilani, L.L

    Artikel

    Defining and applying measures of distance between specifications.
  5. 415

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

    Artikel

    Formal analysis of a space-craft controller using SPIN.
  6. 416

    Interconnect-based system-level energy and power prediction to guide architecture exploration. av Wadekar, S.A

    Artikel

    Interconnect-based system-level energy and power prediction to guide architecture exploration.
  7. 417

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

    Artikel

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

    Design-for-testability for embedded delay-locked loops. av Egan, T.

    Artikel

    Design-for-testability for embedded delay-locked loops.
  9. 419

    Internal domain specific languages. av Miller, Jeremy

    I publikationen MSDN magazine
    Artikel

    Internal domain specific languages.
  10. 420

    Stocking density-dependent growth of Dover sole (Solea solea).

    Artikel

    Stocking density-dependent growth of Dover sole (Solea solea).

Sökverktyg: