Search Results - Brezočnik, Zmago

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit

    Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit by Vreca, Jure, Sturm, Karl J. X., Gungl, Ernest, Merchant, Farhad, Bientinesi, Paolo, Leupers, Rainer, Brezocnik, Zmago

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    ACTLW – An action-based computation tree logic with unless operator

    ACTLW – An action-based computation tree logic with unless operator by Meolic, Robert, Kapus, Tatjana, Brezočnik, Zmago

    Published in Information sciences
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

    Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin by Vlaovic, Bostjan, Vreze, Aleksander, Brezocnik, Zmago

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Sdl2pml — Tool for automated generation of Promela model from SDL specification

    Sdl2pml — Tool for automated generation of Promela model from SDL specification by Vreze, Aleksander, Vlaovic, Bostjan, Brezocnik, Zmago

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Automated generation of Promela model from SDL specification

    Automated generation of Promela model from SDL specification by Vlaovič, Boštjan, Vreže, Aleksander, Brezočnik, Zmago, Kapus, Tatjana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Verification of XTP context management closing procedure in style of TLA

    Verification of XTP context management closing procedure in style of TLA by Kapus, Tatjana, Brezočnik, Zmago

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Video production for distance education

    Video production for distance education by Dugonik, B., Brezocnik, Z., Debevc, M.T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Emergence of intelligence in next-generation manufacturing systems

    Emergence of intelligence in next-generation manufacturing systems by Brezocnik, Miran, Balic, Joze, Brezocnik, Zmago

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Microcomputer unit for control of distributed devices over computer networks

    Microcomputer unit for control of distributed devices over computer networks by Vrečko, Gregor, Brezočnik, Zmago, Kapus, Tatjana, Horvat, Bogomir, Duh, Andrej

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Exploiting partitioned transition relations for efficient symbolic model checking in CTL

    Exploiting partitioned transition relations for efficient symbolic model checking in CTL by Casar, A., Brezocnik, Z., Kapus, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Toward automatic generation of promela models from SDL specification

    Toward automatic generation of promela models from SDL specification by Vlaovic, B., Vreze, A., Brezocnik, Z., Kapus, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    TLA-style specification of a mobile network

    TLA-style specification of a mobile network by Kapus, T., Brezocnik, Z.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    AUTOMATIC FORMAL VERIFICATION OF DIGITAL SYSTEMS USING PROLOG

    AUTOMATIC FORMAL VERIFICATION OF DIGITAL SYSTEMS USING PROLOG by Brezocnik, Zmago, Horvat, Bogomir

    Published in SIGCHI bulletin
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    A functional-based approach to formal VLSI design verification

    A functional-based approach to formal VLSI design verification by Brezocnik, Z., Horvat, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: