5707 search results - page 82 / 1142 » Symbolic Simulation - Techniques and Applications |
WSC
2001
14 years 11 months ago
2001
This paper presents a hierarchical approach on the simulation of large-scale discrete event systems used recently by Kiran Consulting Group (KCG) to model shipyard operations. Bec...
MOC
1998
14 years 9 months ago
1998
A method to calculate numerically the multiplicity of a solution to a system of algebraic equations is presented. The method is an application of Zeuthen’s rule which gives the m...
DFG
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
A major drawback of the Orthogonal Frequency Division Multiplex (OFDM) principle is the high dynamic range of the transmit signal. The transmit Power Amplifier (PA) and other ele...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
- We consider and investigate a generalized signaling method for non-coherent orthogonal FH/BFSK in band multitone jamming (BMJ). We let symbol tones not be restricted within one c...