533 search results - page 1 / 107 » Protocol synthesis from timed and structured specifications |
ICNP
1995
IEEE
14 years 2 months ago
1995
IEEE
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
DAC
1992
ACM
14 years 3 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
FORTE
1998
14 years 7 days ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
ICCAD
1994
IEEE
14 years 3 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...