Sciweavers

27913 search results - page 397 / 5583
» Simulation
Sort
View
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
16 years 4 days 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
16 years 4 days 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
FDL
2003
IEEE
16 years 4 days 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»
16 years 4 days 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, ...
INFOCOM
2003
IEEE
16 years 4 days 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