Sciweavers

1578 search results - page 243 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICASSP
2007
IEEE
16 years 18 days ago
Sound Source Tracking and Formation using Normalized Cuts
The goal of computational auditory scene analysis (CASA) is to create computer systems that can take as input a mixture of sounds and form packages of acoustic evidence such that ...
Mathieu Lagrange, George Tzanetakis
AHS
2006
IEEE
124views Hardware» more  AHS 2006»
16 years 10 days ago
A Generic On-Chip Debugger for Wireless Sensor Networks
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...
Andrew B. T. Hopkins, Klaus D. McDonald-Maier
TPHOL
2006
IEEE
16 years 8 days ago
Minlog
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
Helmut Schwichtenberg
ITICSE
2006
ACM
16 years 7 days ago
Using patterns in the automatic marking of ER-diagrams
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...
Pete G. Thomas, Kevin G. Waugh, Neil Smith
SAC
2006
ACM
16 years 7 days ago
A concurrent reactive Esterel processor based on multi-threading
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
Xin Li, Reinhard von Hanxleden