default search action

combined dblp search
author search
venue search
publication search

ask others

35th RSP 2024: Raleigh, NC, USA

> Home > Conferences and Workshops > RSP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rsp/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/2024
International Workshop on Rapid System Prototyping, RSP 2024, Raleigh, NC, USA, October 3, 2024. IEEE 2024, ISBN 979-8-3315-1953-7
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/AwaisMNBHB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/AwaisMNBHB24
Muhammad Awais, Maria Mushtaq, Lirida Naviner, Florent Bruguier, Jawad Haj-Yahya, Pascal Benoit:
Decoding Attack Behaviors by Analyzing Patterns in Instruction-Based Attacks using gem5. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/FormanH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/FormanH24
Yakir Forman, William L. Harrison:
Temporal Staging for Correct-by-Construction Cryptographic Hardware. 7-13
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ChengSGA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ChengSGA24
Ka Chuen Cheng, Umair F. Siddiqi, Gary Gréwal, Shawki M. Areibi:
Invited Paper-Circuit Partitioning with Reinforcement Learning and Edge-Based Initialization. 14-20
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ZrelliMAMSN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ZrelliMAMSN24
Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu:
Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications. 21-27
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/Strauch24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/Strauch24
Tobias Strauch:
Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification. 28-34
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/KumarK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/KumarK24
Pawan Kumar, Hokeun Kim:
Cost-Effective Cyber-Physical System Prototype for Precision Agriculture with a Focus on Crop Growth. 35-41
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/Strauch24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/Strauch24a
Tobias Strauch:
Non-interfering On-line and In-field SoC Testing. 42-48
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/TomasiFFP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/TomasiFFP24
Eduardo Tomasi, César Fuguet, Christian Fabre, Frédéric Pétrot:
Page size exploration for RISC-V systems: the case for HPC. 49-55
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/JafarofK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/JafarofK24
Navid Jafarof, Kenneth B. Kent:
Enhancing the VTR Flow: Integration of ABC9 via Yosys for Better Technology Mapping and Optimization. 56-62

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.