Sciweavers

1578 search results - page 124 / 316
» Self-healing systems - survey and synthesis
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...
LSSC
2005
Springer
14 years 3 months ago
On the Synthesis of a Stabilizing Feedback Control
Starting from states near to a closed set S we want to steer S and to stay always close to S. Unfortunately, open-loop controls are very sensitive to disturbances and can lead to v...
Mikhail Krastanov
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
14 years 2 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
DAC
2002
ACM
14 years 10 months ago
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
TOG
2008
90views more  TOG 2008»
13 years 9 months ago
Interactive example-based urban layout synthesis
We present an interactive system for synthesizing urban layouts by example. Our method simultaneously performs both a structurebased synthesis and an image-based synthesis to gene...
Daniel G. Aliaga, Carlos A. Vanegas, Bedrich Benes