3456 search results - page 100 / 692 » Algorithms for Interface Synthesis |
121
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
102
Voted
CHI
2000
ACM
15 years 5 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
144
click to vote
FPGA
2008
ACM
15 years 3 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
112
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...