Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
1.744 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

1.744 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Efficient Memory Optimized Aggregated Bit Vector (EMOABV) Algorithm with Dynamic ABV Intersection Result Cache
    Trivedi, Uday ; Dokku, Lakshmi Sowjanya ; et al.
    In: 2023 15th International Conference on COMmunication Systems & NETworkS (COMSNETS), 2023-01-03, S. 632-639
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    3-D ultrasound elastography of the breast: First steps towards ABVS implementation
    Hendriks, Gijs A.G.M. ; Hollander, Branislav ; et al.
    In: 2015 IEEE International Ultrasonics Symposium (IUS), 2015-10-01, S. 1-4
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Efficient Memory Optimized Aggregated Bit Vector (EMOABV) Algorithm with Dynamic ABV Intersection Result Cache.
    Trivedi, Uday ; Lakshmi Sowjanya Dokku ; et al.
    In: COMSNETS, 2023, S. 632-639
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    From Informal Specifications to an ABV Framework for Industrial Firmware Verification : 28th IFIP/IEEE Conference on Very Large Scale Integration
    Germiniani, Samuele ; Bragaglio, Moreno ; et al.
    In: International Federation for Information Processing -Publications- IFIP, Jg. 621 (2021), S. 179-204
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    An efficient layered ABV methodology for vision system on chip based on heterogeneous parallel processors
    Nshunguyimfura, Victor ; Yang, Jie ; et al.
    In: 2015 IEEE 11th International Conference on ASIC (ASICON), 2015-11-01, S. 1-4
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
    Björnander, Stefan ; Seceleanu, Cristina ; et al.
    In: 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011-04-01, S. 355-360
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    From Informal Specifications to an ABV Framework for Industrial Firmware Verification.
    Germiniani, Samuele ; Bragaglio, Moreno ; et al.
    In: VLSI-SoC (Selected Papers), 2020, S. 179-204
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Aspect-based ABV for SystemC transaction level models
    Kallel, Meriam ; Lahbib, Younes ; et al.
    In: 2009 International Conference on Microelectronics - ICM, 2009-12-01, S. 304
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Incremental ABV for Functional Validation of TL-to-RTL Design Refinement
    Bombieri, Nicola ; Fummi, Franco ; et al.
    In: 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007-04-01, S. 1
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    ABV 기반 RFID 필터링 모듈의 설계 및 캐쉬 기반 성능 향상
    박현성 (Hyun-Sung Park) ; 김종덕 (Jong-Deok Kim)
    In: 한국통신학회 학술대회논문집, Jg. 2005 (2005-11-30), Heft 11, S. 351-353
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Diagnostic impacts of DBT and ABVS for breast cancer screening in comparison with MMG and HUS : 15th International Workshop on Breast Imaging (IWBI2020)
    Uchiyama, Nachiko ; Matsuda, Naohisa ; et al.
    In: Proceedings of SPIE, the International Society for Optical Engineering, Jg. 11513 (2020), S. 115130F
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    ABV Procedure Combined with Mechanistic Response Modeling for Roof- and Surge-Loss Estimation in Hurricanes : Shock and impact loads on structures
    Park, S. ; van de Lindt, J.W. ; et al.
    In: JOURNAL OF PERFORMANCE OF CONSTRUCTED FACILITIES, Jg. 28 (2014), Heft 2, S. 206-215
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    An efficient layered ABV methodology for vision system on chip based on heterogeneous parallel processors.
    Nshunguyimfura, Victor ; Jie Yang 0033 ; et al.
    In: ASICON, 2015, S. 1-4
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Memory Optimized Aggregated Bit Vector Algorithm for large rule-sets
    Dhumale, Jyotsna ; Trivedi, Uday
    In: 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS), 2022-01-04, S. 515-521
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Incremental ABV for Functional Validation of TL-to-RTL Design Refinement : Design, automation and test in Europe; DATE 07
    Bombieri, N. ; Fummi, F. ; et al.
    In: DATE -PROCEEDINGS- CD-ROM EDITION, 2007, S. 882-887
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    ABV - A Verifier for the Architecture Analysis and Design Language (AADL).
    Björnander, Stefan ; Cristina Cerschi Seceleanu ; et al.
    In: ICECCS, 2011, S. 355-360
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Efficient Methods for SoC Trust Validation Using Information Flow Verification
    Alatoun, Khitam M. ; Achyutha, Shanmukha Murali ; et al.
    In: 2021 IEEE 39th International Conference on Computer Design (ICCD), 2021-10-01, S. 608-616
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Incremental ABV for functional validation of TL-to-RTL design refinement.
    Bombieri, Nicola ; Fummi, Franco ; et al.
    In: DATE, 2007, S. 882-887
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS
    Caba, J. ; Rincon, F. ; et al.
    In: 2019 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC), 2019-10-01, S. 1-7
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -