This report discusses the design and implementation of an OFDM modem for a simplex com- munication between two PCs over a frequency selective channel. First a brief introduction is provided by explaining the backrground and the speci?cation of the p
USB 2.0 IPCORE 包含源代码，说明文档，仿真文件 This core provides a function (peripheral device) interface. It can be used to interface almost any peripheral to a computer via USB. This core fully complies to the USB 2.0 specification and can operate at USB Full and
Various black-box methods for the generation of test cases have been proposed in the literature. Many of these methods, including the category-partition method and the classi cation-tree method, follow the approach of partition testing, in which the
This document is the JavaServer? Pages 2.0 Specification (JSP 2.0). This speci?cation was developed following the Java Community Process (SM)(JCP).CommentsfromExperts,Participants,andthePublicwerereviewed, and improvements were incorporated into the
This book is ideal for anyone who wants to gain the practical skills involved in using CSS to make attractive web sites, especially if you’re not the type who likes to learn by memorizing a formal specification and then trying to work out which brows
This book contains enough material for three courses of study: a course on mathematics for software engineering, a course on formal speci cation, and a course on re nement. This material can be adapted in a number of ways, to support other courses o
Abstract As used in practice, traditional consensus algorithms require three message delays before any process can learn the chosen value. Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message d
Cygwin is a Linux-like environment for Windows. It consists of a DLL(cygwin1.dll), which acts as an emulation layer providing substantial POSIX(Portable Operating System Interface) system call functionality, and a collection of tools, which provide
This standard is issued under the ®xed designation A 1; the number immediately following the designation indicates the year of original adoption or, in the case of revision, the year of last revision. A number in parentheses indicates the year of la
CSS3 is the latest version of Cascading Style Sheets, the language that in the hands of a skilled designer turns the ugly duckling of unadorned HTML into the gracious swan of a sophisticated web page. Some web designers will tell you dismissively th
This paper describes JSpy, a system for high-level instrumentation of Java bytecode and its use with JPaX, our system for runtime analysis of Java programs. JPaX monitors the execution of temporal logic formulas and performs predicative analysis of
This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems. The book title is SAMOS for two major reasons. First, it tries to focus on the actual distinct, yet importa
linux设备书规范 To initialize and boot a computer system, various software components interact. Firmware might perform low- level initialization of the system hardware before passing control to software such as an operating system, boot- loader, or hyper
Computations performed by graph algorithms are data driven, and require a high degree of random data access. Despite the great progresses made in disk technology, it still cannot provide the level of efficient random access required by graph computati
The Internet of Things (IoT) domain continues to grow rapidly and the numbers of devices, interfaces, operating environments, applications and services has exploded making the need for integration and management of intelligent devices and data more
