Showing 411 - 420 results of 433 for search '"Specifications."', query time: 0.02s Refine Results
  1. 411

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

    Article

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

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

    Article

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

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

    Article

    A test generation strategy for pairwise testing.
  4. 414

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

    Article

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

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

    Article

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

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

    Article

    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. by Benkrid, K.

    Article

    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. by Egan, T.

    Article

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

    Internal domain specific languages. by Miller, Jeremy

    Published in MSDN magazine
    Article

    Internal domain specific languages.
  10. 420

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

    Article

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

Search Tools: