Sciweavers

2946 search results - page 273 / 590
» Physical Modeling in MATLAB
Sort
View
FMCAD
2006
Springer
15 years 10 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
CATA
2006
15 years 8 months ago
Discrete Shells Origami
We introduce a way of simulating the creation of simple Origami (paper folding). The Origami is created in a thin shell simulation that realistically models the behavior and physi...
Rob Burgoon, Zoë J. Wood, Eitan Grinspun
DAGSTUHL
2004
15 years 8 months ago
Bus Scheduling for TDL Components
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
Emilia Farcas, Wolfgang Pree, Josef Templ
WSC
2001
15 years 8 months ago
Emulation: debug it in the lab --- not on the floor
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
Cindy Schiess
CN
2010
100views more  CN 2010»
15 years 6 months ago
A survey of network virtualization
Due to the existence of multiple stakeholders with conflicting goals and policies, alterations to the existing Internet are now limited to simple incremental updates; deployment o...
N. M. Mosharaf Kabir Chowdhury, Raouf Boutaba