AI Chat AI Image Generator AI Video Text to Speech

A Theory of Lazy Imperative Timing

10/23/2018

∙

by Eric C. R. Hehner, et al.

∙

We present a theory of lazy imperative timing.

READ FULL TEXT

page 1

page 2

page 3

page 4

research

∙ 09/05/2017

Truly Concurrent Process Algebra with Timing

We extend truly concurrent process algebra APTC with timing related prop...

0 Yong Wang, et al. ∙

research

∙ 06/24/2018

The application of precision time protocol on EAST timing system

The timing system focuses on synchronizing and coordinating each subsyst...

0 Z. Zhang, et al. ∙

research

∙ 11/04/2017

Timing Aware Dummy Metal Fill Methodology

In this paper, we analyzed parasitic coupling capacitance coming from du...

0 Luis Charre, et al. ∙

research

∙ 12/14/2017

A Brief Overview of the KTA WCET Tool

KTA (KTH's timing analyzer) is a research tool for performing timing ana...

0 David Broman, et al. ∙

research

∙ 09/09/2021

Automatic Timing-Coherent Transactor Generation for Mixed-level Simulations

In this paper we extend the concept of the traditional transactor, which...

0 Li-Chun Chen, et al. ∙

research

∙ 02/18/2019

Tik-Tok: The Utility of Packet Timing in Website Fingerprinting Attacks

A passive local eavesdropper can leverage Website Fingerprinting (WF) to...

0 Mohammad Saidur Rahman, et al. ∙

research

∙ 10/07/2019

Iodine: Verifying Constant-Time Execution of Hardware

To be secure, cryptographic algorithms crucially rely on the underlying ...

0 Klaus v. Gleissenthall, et al. ∙

A Theory of Lazy Imperative Timing

Related Research

Truly Concurrent Process Algebra with Timing

The application of precision time protocol on EAST timing system

Timing Aware Dummy Metal Fill Methodology

A Brief Overview of the KTA WCET Tool

Automatic Timing-Coherent Transactor Generation for Mixed-level Simulations

Tik-Tok: The Utility of Packet Timing in Website Fingerprinting Attacks

Iodine: Verifying Constant-Time Execution of Hardware