Sciweavers

27913 search results - page 397 / 5583
» Simulation
Sort
View
126
Voted
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
15 years 9 months ago
Verification of the RF Subsystem within Wireless LAN System Level Simulation
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
Uwe Knöchel, Thomas Markwirth, Jürgen Ha...
FDL
2003
IEEE
15 years 9 months ago
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
Tom J. Kazmierski, Hessa Al-Junaid
131
Voted
FDL
2003
IEEE
15 years 9 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
ICRA
2003
IEEE
121views Robotics» more  ICRA 2003»
15 years 9 months ago
Experimental evaluation of the dynamic simulation of biped walking of humanoid robots
We have been developing a software platform, called OpenHRP, for humanoid robotics which consists of a dynamic simulator and motion control library for humanoid robots. This paper...
Hirohisa Hirukawa, Fumio Kanehiro, Shuuji Kajita, ...
113
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
Big-Bang Simulation for embedding network distances in Euclidean space
— Embedding of a graph metric in Euclidean space efficiently and accurately is an important problem in general with applications in topology aggregation, closest mirror selectio...
Yuval Shavitt, Tomer Tankel