Search Results - Pockrandt, Marcel

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Transforming SystemC Transaction Level Models into UPPAAL timed automata

    Transforming SystemC Transaction Level Models into UPPAAL timed automata by Herber, P., Pockrandt, M., Glesner, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Automated conformance evaluation of SystemC designs using timed automata

    Automated conformance evaluation of SystemC designs using timed automata by Herber, Paula, Pockrandt, Marcel, Glesner, Sabine

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Model checking a SystemC/TLM design of the AMBA AHB protocol

    Model checking a SystemC/TLM design of the AMBA AHB protocol by Pockrandt, M., Herber, P., Glesner, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    The SeqAn C++ template library for efficient sequence analysis: A resource for programmers

    The SeqAn C++ template library for efficient sequence analysis: A resource for programmers by Reinert, Knut, Dadi, Temesgen Hailemariam, Ehrhardt, Marcel, Hauswedell, Hannes, Mehringer, Svenja, Rahn, René, Kim, Jongkyu, Pockrandt, Christopher, Winkler, Jörg, Siragusa, Enrico, Urgese, Gianvito, Weese, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    EPR-dictionaries: A practical and fast data structure for constant time searches in unidirectional and bidirectional FM-indices

    EPR-dictionaries: A practical and fast data structure for constant time searches in unidirectional and bidirectional FM-indices by Pockrandt, Christopher, Ehrhardt, Marcel, Reinert, Knut

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: