305 search results - page 18 / 61 » Constraint-driven communication synthesis |
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
This research proposes a picture card dictionary authoring system to support young language learners perform communicative tasks using daily-life words, without teaching them the ...
HCI
2009
13 years 5 months ago
2009
This paper presents a multimodal framework for the communication between blind and hearing impaired people. The algorithms that are developed are based on the concept of modality r...
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
TSE
1998
13 years 7 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...