3342 search results - page 179 / 669 » Symbolic Robustness Analysis |
190
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
173
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Robust automatic workflow monitoring using visual sensors in industrial environments is still an unsolved problem. This is mainly due to the difficulties of recording data in work ...
203
click to vote
ANSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
165
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
162
click to vote
ETT
2000
15 years 6 months ago
2000
We analyze the effects of Doppler spread in mobile channels on Orthogonal Frequency Division Multiplex (OFDM) systems. This is important, since channel variations during one OFDM s...