Efficient algorithms for approximate time separation of events
type: Item
instance of: scholarly article
title: Efficient algorithms for approximate time separation of events
zbMATH Open document ID: 1018.68098
DOI: 10.1007/BF02717181
author: Supratik Chakraborty
author: David L. Dill
author: Kenneth Y. Yun
published in: Sādhanā
publication date: 2002-11-27T00:00:00Z
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 1835898
zbMATH Keywords: asynchronous systems
zbMATH Keywords: datapath design
MaRDI profile type: Publication
cites work: An algorithm for exact bounds on the time separation of events in concurrent systems
cites work: Consistency and satisfiability of waveform timing specifications
cites work: Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
cites work: Q4763582
full work available at URL: https://doi.org/10.1007/bf02717181
OpenAlex ID: W2004487434
description: scientific article; zbMATH DE number 1835898