Sciweavers

1578 search results - page 28 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICCAD
2008
IEEE
98views Hardware» more  ICCAD 2008»
15 years 10 months ago
Scalable and scalably-verifiable sequential synthesis
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
Alan Mishchenko, Michael L. Case, Robert K. Brayto...
ATAL
2004
Springer
15 years 7 months ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
ISSS
1995
IEEE
98views Hardware» more  ISSS 1995»
15 years 5 months ago
On the use of VHDL-based behavioral synthesis for telecom ASIC design
higher levels of abstraction, due to the still increasing design complexities that can be expected in the near future. Behavioral synthesis can play a key role in this prospect, as...
Mark Genoe, Paul Vanoostende, Geert van Wauwe
NIME
2004
Springer
154views Music» more  NIME 2004»
15 years 7 months ago
Synthesized Strings for String Players
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
Cornelius Poepel
WWW
2001
ACM
16 years 2 months ago
Visual SQL-X: A Graphical Tool for Producing XML Documents from Relational Databases
The Visual SQL-X system is presented to generate arbitrarily complex XML documents from a graphical query on a relational database. The query describes the structure of the result...
Renzo Orsini, Massimo Pagotto