925 search results - page 38 / 185 » A Linguistic Theory of Robustness |
LATIN
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
ISCC
2007
IEEE
15 years 4 months ago
2007
IEEE
In a P2P file-sharing system, a node finds and retrieves its desired file. If multiple nodes cache the same file to provide others, we can achieve a file-sharing system with ...
ICCAD
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Analyzing the effect of concentrated noise on a typical decision-making process of a simplified two-candidate voting model, we have demonstrated that a local approach using a regi...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We provide a time domain analysis of the robustness and stability performance for coupled adaptive algorithms of gradient type. The considered coupling may occur inherently as wel...