Sciweavers

525 search results - page 25 / 105
» Systems Development Using Z Generics
Sort
View
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
13 years 11 months ago
Automotive databus simulation using VHDL
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
Karen Hale
MMB
1999
Springer
249views Communications» more  MMB 1999»
13 years 11 months ago
A Development Platform for the Design and Optimization of Mobile Radio Networks
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
Jürgen Deissner, Gerhard Fettweis, Jörg ...
TCOM
2008
65views more  TCOM 2008»
13 years 7 months ago
Frequency offset estimation for MB-OFDM-based UWB systems
Abstract-- We address low-complexity, highly-accurate frequency offset estimation for MB-OFDM-based UWB systems. We discuss unique characteristics of the MB-OFDM systems, namely, d...
Yinghui Li, Hlaing Minn, Trent Jacobs, Moe Z. Win
FM
2005
Springer
98views Formal Methods» more  FM 2005»
14 years 1 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
WECWIS
2000
IEEE
155views ECommerce» more  WECWIS 2000»
13 years 12 months ago
Distributed and Scalable XML Document Processing Architecture for E-Commerce Systems
XML has become a very important emerging standard for E-commerce because of its flexibility and universality. Many software designers are actively developing new systems to handle...
David Wai-Lok Cheung, Sau Dan Lee, Thomas Lee, Wil...