Interface models

Anders P. Ravn; Jørgen Staunstrup

doi:10.1109/HSC.1994.336711

Interface models

Anders P. Ravn, Jørgen Staunstrup

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

308 Downloads (Pure)

Abstract

This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface

Original language	English
Title of host publication	Proceedings of the Third International Workshop on Hardware/Software Codesign
Publisher	IEEE
Publication date	1994
Pages	157-164
ISBN (Print)	08-18-66315-4
DOIs	https://doi.org/10.1109/HSC.1994.336711
Publication status	Published - 1994
Event	3rd International Workshop on Hardware/Software Codesign - Grenoble, France Duration: 22 Sep 1994 → 24 Sep 1994 Conference number: 3 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=991

Workshop

Workshop	3rd International Workshop on Hardware/Software Codesign
Number	3
Country	France
City	Grenoble
Period	22/09/1994 → 24/09/1994
Internet address	http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=991

Bibliographical note

Copyright: 1994 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

Access to Document

10.1109/HSC.1994.336711

StaunFinal published version, 621 KB

Fingerprint Dive into the research topics of 'Interface models'. Together they form a unique fingerprint.

Cite this

@inproceedings{7dd7ab0395774f408bc62c23b778dcf8,

title = "Interface models",

abstract = "This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface",

author = "Ravn, {Anders P.} and J{\o}rgen Staunstrup",

note = "Copyright: 1994 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE; 3rd International Workshop on Hardware/Software Codesign ; Conference date: 22-09-1994 Through 24-09-1994",

year = "1994",

doi = "10.1109/HSC.1994.336711",

language = "English",

isbn = "08-18-66315-4",

pages = "157--164",

booktitle = "Proceedings of the Third International Workshop on Hardware/Software Codesign",

publisher = "IEEE",

address = "United States",

url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=991",

}

TY - GEN

T1 - Interface models

AU - Ravn, Anders P.

AU - Staunstrup, Jørgen

N1 - Conference code: 3

PY - 1994

Y1 - 1994

N2 - This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface

AB - This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface

U2 - 10.1109/HSC.1994.336711

DO - 10.1109/HSC.1994.336711

M3 - Article in proceedings

SN - 08-18-66315-4

SP - 157

EP - 164

BT - Proceedings of the Third International Workshop on Hardware/Software Codesign

PB - IEEE

T2 - 3rd International Workshop on Hardware/Software Codesign

Y2 - 22 September 1994 through 24 September 1994

ER -