119 search results - page 1 / 24 » A protocol synthesis algorithm: a relational approach |
ICNP
1995
IEEE
14 years 2 months ago
1995
IEEE
DATE
2008
IEEE
14 years 5 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...
TACAS
2010
Springer
14 years 6 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
IJON
2000
2000
Synthesis approach for bidirectional associative memories based on the perceptron training algorithm
13 years 10 months ago
Bidirectional associative memories are being used extensively for solving a variety of problems related to pattern recognition. In the present paper, a new synthesis approach is d...
ISOLA
2010
Springer
13 years 9 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...