132 search results - page 19 / 27 » Safraless Compositional Synthesis |
EAAI
2008
13 years 7 months ago
2008
Adaptive fuzzy control has been an active research area over the last decade and several stable adaptive fuzzy controllers have been proposed in the literature. Such controllers a...
ACSD
2009
IEEE
13 years 10 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
DAC
1999
ACM
13 years 12 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
CGF
2008
13 years 7 months ago
2008
Many categories of objects, such as human faces, can be naturally viewed as a composition of several different layers. For example, a bearded face with glasses can be decomposed i...