Sciweavers

1578 search results - page 136 / 316
» Self-healing systems - survey and synthesis
Sort
View

Lab
815views
15 years 18 days ago
Video/Image Modeling and Synthesis (VIMS) Lab
VIMS Lab is situated in Department of Computer & Information Sc, University of Delaware, Newark, DE. USA. At VIMS we work on various problems related to image/video processing...
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
14 years 3 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
LREC
2008
135views Education» more  LREC 2008»
13 years 11 months ago
CORP-ORAL: Spontaneous Speech Corpus for European Portuguese
Research activity on the Portuguese language for speech synthesis and recognition has suffered from a considerable lack of human and material resources. This has raised some obsta...
Fabíola Santos, Tiago Freitas
ISOLA
2010
Springer
13 years 7 months ago
Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
David Withers, Edward A. Kawas, E. Luke McCarthy, ...
POPL
2007
ACM
14 years 10 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica