819 search results - page 95 / 164 » Fractal symbolic analysis |
FMSD
2006
13 years 10 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...
ETT
2000
13 years 9 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...
MVA
2010
13 years 4 months ago
2010
Studying ancient inscriptions is based up to date mostly on observation and manual analysis by means of which epigraphists attempt to establish a geographical and chronological cla...
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...