The subject which is to us propos¨¦ is as follows: calculation of the degr¨¦ d¡ ¯ inconsistance d¡ ¯ un logical program possibilist in C++. We thus work on a logical program possibilist, it be-¨¤-statement a logical program resulting from non-classique logic. The goal first of this project is of d¨¦ terminer if a logical program is consisting or not of share the calculation of sound degr¨¦ d¡ ¯ inconsistance.
标签： brvbar calculation subject follows
上传时间： 2013-12-18
上传用户：yulg
检测windows下rootkit对文件的隐藏。some usermode overwrites first few bytes of ZwQueryDirectoryFile and that trick will fail then :( So, you will probably need a small database of the correct indexes for all Windows versions
标签： ZwQueryDirectoryFile overwrites usermode windows
上传时间： 2014-12-08
上传用户：lps11188
ARM下 Implement matrix multiplication of 2 square matrices, with data read from an input file and printed both to the console and to an output file. • Assume a file with correct data (no garbage, characters, etc.). • you must check and provide appropriate execution for 2 extra cases, namely when the matrix size given is either “0” , or when the size is greater than the maximum handled of “5” . In these 2 cases you must implement the following behaviour: o If size = 0, then print a message “Size = 0 is unacceptable” and continue by reading the next size for the next 2 matrices (if not end of file). o If size >5, then print two messages: “Size is too big - unacceptable”. Then read and discard the next (size2 ) integers and continue by reading the next size for the next 2 matrices (if not end of file).
标签： multiplication Implement matrices matrix
上传时间： 2014-08-30
上传用户：dsgkjgkjg
Ever wanted to just type tail -f error_log on Windows?Envious of your Unix friends who can track changes to a file, in real time, as they happen? Well, now with the Objektiv Tail for Win32, you ll be happily monitoring your log files like you ve never done before. What s even better, you can track several files all at the same time with the patented "Multiple Document Interface"TM technology, with each file having its own, fabulous window.
标签： error_log Envious Windows friends
上传时间： 2015-05-31
上传用户：rocwangdp
Due to an increase in demand for and questions about direct disk access for Micrososft platforms, and due to the fact that Microsoft has no API for direct disk access, I am releasing this library much earlier than I intended at that start. I am still working on this code.
标签： Micrososft for questions platforms
上传时间： 2014-01-26
上传用户：xaijhqx
This Program Is Designed To Simulate A Spatial Antenna Array System Working On The MUSIC Algorithm For The Angle Of Arrival Estimation And Null Steering Algorithm For The Weights Estimation To The Required Output Radiation Pattern .
标签： Designed Algorith Simulate Program
上传时间： 2014-01-02
上传用户：三人用菜
YSS915 (KP2V2) is an LSI for processing Karaoke voice signals. This LSI has an A/D converter (1 channel) for the microphone echo, and a memory for the microphone echo and key control. These features allow achieving the functions needed for the Karaoke system by using only one LSI chip. As for the microphone echoes, many other types of echoes are available in addition to ordinary ones so that YSS915 is applicable to various uses. In addition to these Karaoke programs, YSS915 is able to provide the Movie & Music programs, with which the surround effect is applied to the movie and music sources for giving the users more enjoyment. YSS915 is pin compatible with and register compatible with YSS903 (KP2V).
标签： processing LSI converter Karaoke
上传时间： 2015-06-23
上传用户：lijianyu172
Title: STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library (2nd Edition) Author: David R. Musser / Gillmer J. Derge / Atul Saini / Gilmer J. Derge Publisher: Addison-Wesley Page: 560 Edition: 2nd edition (March 27, 2001) Format: PDF Summary: The Standard Template Library was created as the first library of genetic algorithms and data structures, with four ideas in mind: generic programming, abstractness without loss of efficiency, the Von Neumann computation model, and value semantics. This guide provides a tutorial, a description of each element of the library, and sample applications. The expanded second edition includes new code examples and demonstrations of the use of STL in real-world C++ software development it reflects changes made to STL for the final ANSI/ISO C++ language standard.
标签： Programming Reference Standard Template
上传时间： 2014-01-19
上传用户：netwolf
The J2000 codec was written in an effort to produce the cleanest and simplest implementation possible of the JPEG-2000 standard. We have put a particular emphasis on good architecture design and code simplicity, while at the same time providing an implementation as complete and efficient as possible. The source code for the codec is freely available for anyone to study or even for use in commercial programs. We hope that our open development process and our focus on clean, straightforward code will help make the J2000 codec become a reference implementation of the JPEG-2000 standard
标签： implementation cleanest simplest produce
上传时间： 2015-07-03
上传用户：dengzb84
A program to find frequent molecular substructures and discriminative fragments in a database of molecule descriptions. The algorithm is based on the Eclat algorithm for frequent item set mining.
标签： discriminative substructures fragments molecular
上传时间： 2014-01-20
上传用户：龙飞艇
