* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
标签： specification developed Explains language
上传时间： 2016-04-27
上传用户：笨小孩
ATViewer is a component for Delphi/C++Builder, which allows to view files of various types. There is no edit possibility, just quick view - so it s useful to implement "View file" feature in your Delphi/C++Builder application. The following view modes are implemented: Text, Binary, Hex, Unicode: all files, of unlimited size. Plain file dump is shown. Used ATBinHex component: only visible part of file is loaded into memory. Modes are suitable for huge files and files of unknown type. RTF/UTF-8: RTF and UTF-8 encoded texts. File is shown using RichEdit control. Image: all general image formats: BMP JPG ICO GIF PNG... File is shown using ATImageBox component. Multimedia: all file types supported by MS Windows Media Player: AVI MPEG WMV MP3... File is shown using WMP ActiveX control. Internet: all file types supported by MS Internet Explorer: HTML XML DOC XLS... File is shown using MSIE ActiveX control. Plugins: all files supported by Total Commander Lister plugins.
标签： component ATViewer Builder various
上传时间： 2013-12-24
上传用户：小鹏
Exuberant Ctags is a multilanguage reimplementation of the much-underused ctags(1) program and is intended to be the mother of all ctags programs. It generates indexes of source code definitions which are used by a number of editors and tools. The motivation which drove the development of Exuberant Ctags was the need for a ctags program which supported generation of tags for all possible C language constructs (which no other ctags offers), and because most were easily fooled by a number of preprocessor contructs.
标签： reimplementation much-underused multilanguage Exuberant
上传时间： 2016-05-18
上传用户：小宝爱考拉
Digital Signal and Image Processing Using MATLAB The most important theoretical aspects of image and signal processing (ISP) for both deterministic and random signals are covered in this guide to using MATLAB® . The discussion is also supported by exercises and computer simulations relating to real applications such as speech processing and fetal-heart–rhythm tracking, and more than 200 programs and functions for numerical experiments are provided with commentary.
标签： theoretical Processing important Digital
上传时间： 2016-07-08
上传用户：z1191176801
RS232.C was written to provide all of the basic functionality needed to employ serial I/O in any application written with Borland C language compilers. Some features are: 1. Ease of use. No assembly language or library files are used and a simple "#include" statement is all that is required to access all of the functions provided. 2. Both input and output are buffered and interrupt driven for efficiency. 3. Serial ports 1 - 4 are supported on PC, AT and PS/2 compatibles.Chained interrupts used on port 3 and 4 are allowed for so as not to interfere with devices such as a mouse or printer. Transmission speeds of 110 to 115200 baud are available. 4. Detection and utilization of hardware buffered UARTs (NS16550AF etc.) found in some machines is automatic. 5. Interrupt driven hardware and XON/XOFF flow control is provided for. 6. All source code is included. RS232.C can be used with all memory models.
标签： functionality provide written employ
上传时间： 2016-08-24
上传用户：小眼睛LSL
a sample WDM stream class video capture driver that supports two IEEE 1394 digital cameras. The same driver may be able to support other digital cameras that conform to 1394-based Digital Camera Specification from 1394 Trade Association. Digital camera supported by dcam.sys is a data source that produces digital image data without any other input connection. It manifests itself in a DirectShow graph as a WDM Streaming Capture Device and as a capture filter that has output capture stream supporting image sizes of 320x240 with a UYVY color space. Its de-compressor, Msyuv.dll, is part of the OS delivery, and it can convert image data format from UYVY to RGB16, RGB8, or to a Direct Draw surface if the video card supports UYVY format.
标签： supports capture cameras digital
上传时间： 2014-01-13
上传用户：yph853211
// -*- Mode: Verilog -*- // Filename : wb_master.v // Description : Wishbone Master Behavorial // Author : Winefred Washington // Created On : 2002 12 24 // Last Modified By: . // Last Modified On: . // Update Count : 0 // Status : Unknown, Use with caution! // Description Specification // General Description: 8, 16, 32-bit WISHBONE Master // supported cycles: MASTER, READ/WRITE // MASTER, BLOCK READ/WRITE // MASTER, RMW // Data port, size: 8, 16, 32-bit // Data port, granularity 8-bit // Data port, Max. operand size 32-bit // Data transfer ordering: little endian // Data transfer sequencing: undefined
标签： Description Behavorial wb_master Filename
上传时间： 2014-07-11
上传用户：zhanditian
The smspdulib library is intended for more transparent interaction with SMS PDU. This thought over hierarchy of classes will allow you to create new classes for other types of short messages using the realized base functionality. At present, the following types of short messages are supported: status report, SMS (with long (large) SMS parts support)
标签： interaction transparent smspdulib intended
上传时间： 2013-12-23
上传用户：小眼睛LSL
The Linux GPIB Package is a support package for GPIB (IEEE 488) hardware. The package contains kernel driver modules, and a C user-space library with Guile, Perl, PHP, Python and TCL bindings. The API of the C library is intended to be compatible with National Instrument s GPIB library. The Linux GPIB Package is licensed under the GNU General Public License . Requirements: Linux kernel version 2.4.x (use Linux-GPIB version 3.1.x). Earlier kernel versions are not supported.
上传时间： 2016-12-17
上传用户：cccole0605
Open C++: Memory Game Example This Open C++ example application demonstrates a simple memory game. The game engine part has been written in Open C++ and the UI part has been written in Symbian C++. The application supports S60 3rd Edition and S60 5th Edition devices. Keypad and Touch UI are supported depending on the device.
标签： Open demonstrates application Example
上传时间： 2013-12-20
上传用户：lunshaomo
