Sciweavers

799 search results - page 44 / 160
» Synthesis for Probabilistic Environments
Sort
View
JSS
2008
136views more  JSS 2008»
15 years 4 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
DSS
2007
231views more  DSS 2007»
15 years 4 months ago
Self-healing systems - survey and synthesis
As modern software-based systems and applications gain in versatility and functionality, the ability to manage inconsistent resources and service disparate user requirements becom...
Debanjan Ghosh, Raj Sharman, H. Raghav Rao, Shambh...
ICASSP
2011
IEEE
14 years 8 months ago
Robust sound field reproduction integrating multi-point sound field control and wave field synthesis
For a reproduced sound field, the competing goals between the listening area and reproduction accuracy in an actual environment is one of the most important problems in sound fi...
Noriyoshi Kamado, Hiroshi Saruwatari, Kiyohiro Shi...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 10 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
EH
2000
IEEE
183views Hardware» more  EH 2000»
15 years 8 months ago
A Reconfigurable Platform for the Automatic Synthesis of Analog Circuits
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
Ricardo Salem Zebulum, Cristina Costa Santini, Hel...