56 search results - page 1 / 12 » Interface synthesis and protocol conversion |
FAC
2008
13 years 4 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
ASPDAC
2008
ACM
13 years 6 months ago
2008
ACM
IUI
2000
ACM
13 years 9 months ago
2000
ACM
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...