3342 search results - page 71 / 669 » Symbolic Robustness Analysis |
160
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
189
click to vote
GLOBECOM
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...
135
click to vote
ATMOS
2010
15 years 4 months ago
2010
Calculating timetables that are insensitive to disturbances has drawn considerable research efforts due to its practical importance on the one hand and its hard tractability by c...
164
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
When considering the problem of audio-to-audio matching, determining musical similarity using low-level features such as Fourier transforms and MFCCs is an extremely difficult ta...
150
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...