This development provides a formal model of IEEE-754 floatingpoint arithmetic. This formalization, including formal specification of the standard and proofs of important properties of floating-point arithmetic, forms the foundation for verifying programs with floating-point computation. There is also a code generation setup for floats so that we can execute programs using this formalization in ...

The contribution proposes to improve the scalability and performance of the ranging channel for scalable OFDMA. Ranging performance is improved by using low PAPR sequences with good cross-correlation and eliminating interference caused by initial ranging timing offsets, and a a flexible ranging resource allocation is introduced that can adjust the ranging channel resources for scalable FFT size...

Nowadays, any serious oating point unit design has to comply with the IEEE oating point standard. Many of these designs perform the rounding in four steps which are normalization, signiicand rounding, post normalization, and exponent rounding. Although it is commonly agreed upon that this rounding algorithm implements the rounding function speciied in the IEEE standard, this is actually a (folk...

Presents letters to the editor for this issue of publication.

This proposal discusses a wireless network system composed of autonomous/adaptive wireless base stations controlling a large constellation of oblong microcells. Data communications within a microcell is mediated using modified IEEE 802.11a PHY and IEEE 802.16.1 MAC standards. A BS Network Controller is used to oversee the allocation of frequencies amongst microcells of the base station, detect ...

The proposed standard for the IEEE 802.3 Ethernet Passive Optical Network includes a random delayed transmission scheme for registration of new nodes. Although the scheme performs well on low loads, our simulation demonstrates the degraded and undesirable performance of the scheme at higher loads. We propose a simple modification to the current scheme that increases its range of operation and i...

This paper presents the design and implementation of WIRE1x. The WIRE1x is an open-source implementation of IEEE 802.1x client (supplicant) developed by the Wireless Internet Research & Engineering (WIRE) Laboratory. The IEEE 802.1x standard defines a port-based network access control to authenticate and authorize devices interconnected by various IEEE 802 LANs. The IEEE 802.11i also incorporat...

The high-performance, scalability and miniaturization requirements together with the power, mass and cost constraints mandate the use of commercial-off-the-shelf (COTS) components and standards in the X2000 avionics system architecture for deep-space missions. In this paper, we report our experiences and findings on the design of an IEEE 1394 compliant fault-tolerant COTS-based bus architecture...

IEEE 1599-2008 is an XML-based standard originally intended for the multi-layer representation of music information. Nevertheless, it is versatile enough to describe also information different from traditional scores written according to the Common Western Notation (CWN) rules. This paper will discuss the application of IEEE 1599-2008 to the audio description of paths and scenarios from the urb...

IEEE 802.15.4 is the Low-Rate Wireless Personal Area Network (LR-WPAN) standard that is suitable for wireless sensor networks and wireless home networks among others. The IEEE 802.15.4 is specifically designed for energy efficiency since many 802.15.4-compliant devices are expected to operate on battery. Because of inadequate design of the downlink frame transmission mechanism in the standard, ...