Boolean:	`(bicycle AND helmet) OR (head AND protection)` (always group AND in parenthesis)
Title:	`title:(climate change)`
Author:	`author:("bohr niels" OR "bohr n")` (avoid only full first name)
Phrase:	`"water pump control"` (does not work with wildcards)
Wildcards:	`wom?n pharm*`

Conference paper

Interface models

In Proceedings of the Third International Workshop on Hardware/software Codesign — 1994, pp. 157-164

By Ravn, Anders P.¹; Staunstrup, Jørgen¹

From

Department of Information Technology, Technical University of Denmark¹

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

Language:	English
Publisher:	IEEE
Year:	1994
Pages:	157-164
Proceedings:	3rd International Workshop on Hardware/Software Codesign
ISBN:	0818663154 and 9780818663154
Types:	Conference paper
DOI:	10.1109/HSC.1994.336711

Keywords

Computer interfaces Computer languages Computer science Concurrent computing Databases Delay Electronic mail Hardware Protocols Timing computer interfaces computing system concurrently executing modules functional properties interfaces model timing properties

Interface models

DTU Library

Address

Shortcuts

Log in?

Interface models

DTU Library

Address

Shortcuts