Publication

Verification of STM on relaxed memory models

About
Privacy
Disclaimer

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Verification of STM on relaxed memory models

Graph Chatbot

Chat with Graph Search

Bit-Line Computing for CNN Accelerators Co-Design in Edge AI Inference

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

Subjective feeling of re‐experiencing past events using immersive virtual reality prevents a loss of episodic memory

Distributed Computing with Modern Shared Memory

Lupulus: A Flexible Hardware Accelerator For Neural Networks

First-person view of one’s body in immersive virtual reality: Influence on episodic memory

First-person view of one’s body in immersive virtual reality: Influence on episodic memory

Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning

Generating Configurable Hardware from Parallel Patterns

Inferring Scalability from Program Pseudocode

First-person view of one’s body in immersive virtual reality: Influence on episodic memory

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

Generating Configurable Hardware from Parallel Patterns

Subjective feeling of re‐experiencing past events using immersive virtual reality prevents a loss of episodic memory

Lupulus: A Flexible Hardware Accelerator For Neural Networks

Bit-Line Computing for CNN Accelerators Co-Design in Edge AI Inference

First-person view of one’s body in immersive virtual reality: Influence on episodic memory

Distributed Computing with Modern Shared Memory

Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning

Inferring Scalability from Program Pseudocode