检索结果-内蒙古大学图书馆

FUNDAMENTA INFORMATICAE 2010年第3期105卷 319-339页

作者： Valmari, Antti Tampere Univ Technol Dept Software Syst FI-33101 Tampere Finland

A new algorithm for bisimilarity minimization of labelled directed graphs is presented. Its time consumption is O (m log n), where n is the number of states and m is the number of transitions. Unlike earlier algorithms, it meets this bound even if the number of different labels of transitions is not fixed. It is based on refining a partition of states with respect to the labelled transitions. A splitter is a pair consisting of a label and a set in the partition. A transition belongs to a splitter, if and only if it has the same label and its end state is in the set. Earlier algorithms consume lots of time in scanning splitters that have no transitions. The new algorithm avoids this by maintaining also a partition of transitions. To facilitate this, a refinable partition data structure with amortized constant time operations is used. Detailed pseudocode of all nontrivial details is presented. Novel simplifications are applied that both reduce the practical memory consumption and shorten the program code.

关键词： program code SPLITTER partitions algorithms scanning expanded pseudo code If and only if

来源：评论

学校读者我要写书评

暂无评论

Instruction Prediction in Microprocessor Unit Based on Power Supply Line

Instruction Prediction in Microprocessor Unit Based on Power...

引用

17th International Conference Computer Networks

作者： Mackowski, Michal Skoroniak, Krzysztof Silesian Tech Univ Inst Comp Sci PL-44100 Gliwice Poland

ISBN: (纸本)9783642138607

This paper illustrates the research results concerning the character of signals emitted by the selected microcontroller via the power supply lines. The main purpose of the study is to determinate the instruction that is currently realized by the microprocessor, based on the conducted emission in the power supply lines. The research results presented in the study indicate that there are the differences in the spectrum of the signal emitted by the processor, depending on the program being executed. Thus, it can be presumed that there is a partly possibility to determinate the instruction currently realized by a microprocessor based on the conducted disturbances emitted by the power supply lines. It can be suggested that there is a risk for programs written in microprocessor memory, which should be protected from copying.

关键词： conducted emission electromagnetic compatibility (EMC) electromagnetic disturbances microcontroller program code

来源：评论

学校读者我要写书评

暂无评论

Technical Perspective Large-Scale Sound and Precise program Analysis

引用

COMMUNICATIONS OF THE ACM 2010年第8期53卷 114-114页

作者： Henglein, Fritz Univ Copenhagen DIKU Dept Comp Sci Algorithms & Programming Languages Grp Copenhagen Denmark

You are given a program. Will it crash? Is it subject to a spoofing, buffer overflow, or injection attack? Is this part of it dead code? Can I replace that code fragment with a more efficient one? Which exceptions can arise from calling this function in that context? Does this variable always contain the same value? All of these questions require program analysis: We want to know whether program code (the input to the analysis) has a specified property.

关键词： program code dead code Buffer overflows EXCEPTIONS Spoofing analysis programme Crash computer information security Overflow

来源：评论

学校读者我要写书评

暂无评论

Predicting Execution Time of Computer programs Using Sparse Polynomial Regression 10

Predicting Execution Time of Computer Programs Using Sparse ...

引用

Annual Conference on Neural Information Processing Systems

作者： Ling Huang Byung-Gon Chun Jinzhu Jia Petros Maniatis Bin Yu Mayur Naik Intel Labs Berkeley UC Berkeley

ISBN: (纸本)9781617823800

Predicting the execution time of computer programs is an important but challenging problem in the community of computer systems. Existing methods require experts to perform detailed analysis of program code in order to construct predictors or select important features. We recently developed a new system to automatically extract a large number of features from program execution on sample inputs, on which prediction models can be constructed without expert knowledge. In this paper we study the construction of predictive models for this problem. We propose the SPORE (Sparse Polynomial REgression) methodology to build accurate prediction models of program performance using feature data collected from program execution on sample inputs. Our two SPORE algorithms are able to build relationships between responses (e.g., the execution time of a computer program) and features, and select a few from hundreds of the retrieved features to construct an explicitly sparse and non-linear model to predict the response variable. The compact and explicitly polynomial form of the estimated model could reveal important insights into the computer program (e.g., features and their non-linear combinations that dominate the execution time), enabling a better understanding of the program's behavior. Our evaluation on three widely used computer programs shows that SPORE methods can give accurate prediction with relative error less than 7% by using a moderate number of training data samples. In addition, we compare SPORE algorithms to state-of-the-art sparse regression algorithms, and show that SPORE methods, motivated by real applications, outperform the other methods in terms of both interpretability and prediction accuracy.

关键词： execution time computer programs computer software Prediction models program code POLYNOMIAL REGRESSION Polynomial program performance program EXECUTION

来源：评论

学校读者我要写书评

暂无评论

Detecting Computer code Plagiarism in Higher Education

Detecting Computer Code Plagiarism in Higher Education

引用

31st International Conference on Information Technology Interfaces

作者： Konecki, Mario Orehovacki, Tihomir Lovrencic, Alen Fac Org & Informat Varazhdin 42000 Croatia

ISBN: (纸本)9789537138158

Rapid development of industry and economy requires quick and efficient education of large amount of theoretical knowledge and practical skills. In computer science, especially in programming, this trend is very noticeable and real experts are needed and hard to create. But new problem has emerged in higher education and its name is plagiarism. In order to prevent this one would have to check all students program codes to find similarities. To do this efficiently a procedure has been designed upon which a certain prototype was developed and tested We discuss efficiency of this solution and we also mention some other methods and algorithms. We also discuss some other possible usages of this solution and we mention further actions and steps in our research.

关键词： plagiarism detection program code comparison higher education

来源：评论

学校读者我要写书评

暂无评论

Computer aided data acquisition tool for high-throughput phenotyping of plant populations

引用

PLANT METHODS 2009年第1期5卷 18-18页

作者： Vankadavath, Raju Naik Hussain, Appibhai Jakir Bodanapu, Reddaiah Kharshiing, Eros Basha, Pinjari Osman Gupta, Soni Sreelakshmi, Yellamaraju Sharma, Rameshwar Univ Hyderabad Sch Life Sci Hyderabad 500046 Andhra Pradesh India JK AgriGenet Hyderabad 500016 Andhra Pradesh India St Edmunds Coll Dept Bot Shillong 793003 Meghalaya India Yogi Vemana Univ Dept Genet & Genom Kadapa 516003 India

Background: The data generated during a course of a biological experiment/study can be sometimes be massive and its management becomes quite critical for the success of the investigation undertaken. The accumulation and analysis of such large datasets often becomes tedious for biologists and lab technicians. Most of the current phenotype data acquisition management systems do not cater to the specialized needs of large-scale data analysis. The successful application of genomic tools/strategies to introduce desired traits in plants requires extensive and precise phenotyping of plant populations or gene bank material, thus necessitating an efficient data acquisition system. Results: Here we describe newly developed software "PHENOME" for high-throughput phenotyping, which allows researchers to accumulate, categorize, and manage large volume of phenotypic data. In this study, a large number of individual tomato plants were phenotyped with the "PHENOME" application using a Personal Digital Assistant (PDA) with built-in barcode scanner in concert with customized database specific for handling large populations. Conclusion: The phenotyping of large population of plants both in the laboratory and in the field is very efficiently managed using PDA. The data is transferred to a specialized database(s) where it can be further analyzed and catalogued. The "PHENOME" aids collection and analysis of data obtained in large-scale mutagenesis, assessing quantitative trait loci (QTLs), raising mapping population, sampling of several individuals in one or more ecological niches etc.

关键词： Personal Digital Assistant Mobile Computing Touch Screen program code Reverse Genetic

来源：评论

学校读者我要写书评

暂无评论

Automating Uncompressing and Static Analysis of Conficker Worm

Automating Uncompressing and Static Analysis of Conficker Wo...

引用

IEEE Malaysia International Conference on Communications

作者： Lee Ling Chuan Chan Lee Yee Mahamod Ismail Kasmiran Jumari Faculty of Engineering & Built Environment Universiti Kebangsaan Malaysia

ISBN: (纸本)9781424455317;9781424455324

The infamous computer worm, Conficker, which targeting the Microsoft Windows operating system, was literally over the media. This malicious worm used modern malware technique, where it hide its malicious portion of the program code with a runtime generation and execution of program code and transforming it back into executable code at run time. This obfuscation technique poses obstacles to security researcher who want to understand the malicious features of new or unknown malware especially for those who want to create program of detection and methods of recovery. Our approach is based on observation that sequences of packed or hidden code in two different version of Conficker worm. Self-identifying when its runtime execution is checked against its static code mode and an automating uncompressing code is executed to unpack the packer. Following the extraction of the malicious worm, we focus our analysis on the features of Conficker worm.

关键词： Computer security Debugging Reverse engineering Malware Packing and unpacking Spyware Computer Security Debugging program code Reverse engineering worm Vermes Microsoft Windows(software) Runtime Automation Executable code Packers Legal Executions

来源：评论

学校读者我要写书评

暂无评论

TinyModules: code Module Exchange in TinyOS

TinyModules: Code Module Exchange in TinyOS

引用

International Conference on Networked Sensing Systems

作者： Matthias Gauger Pedro Jose Marron Christoph Niedermeier Universitat Bonn Bonn Germany and Fraunhofer IAIS Siemens AG Corporate Research and Technologies

ISBN: (纸本)9781424463138;9781424463145

The ability to update or exchange the program code running on sensor nodes is a core requirement in many wireless sensor network scenarios. Such code update mechanisms must take the specific resource limitations of wireless sensor nodes into account since both the transmission and the processing of updates consume considerable amounts of time and energy. We present TinyModules, a novel code update mechanism for TinyOS-based sensor networks whose idea is to divide the program code into a static part and an exchangeable TinyModule. TinyModules is highly configurable with the system developer being able to freely define which parts of the application should be exchangeable. We show that the use of TinyModules can achieve considerable savings in terms of code update size and update time with only negligible additional processing required on the nodes.

关键词： program code codes refresh time Ganglia Systems developers Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

A sensitivity-based method for direct Stochastic analysis of nonlinear forced response for bladed disks with friction interfaces

引用

JOURNAL OF ENGINEERING FOR GAS TURBINES AND POWER-TRANSACTIONS OF THE ASME 2008年第2期130卷 191-199页

作者： Petrov, E. P. Univ London Imperial Coll Sci Technol & Med Dept Mech Engn Ctr Vibrat Engn London SW7 2AZ England

An efficient method is developed to calculate stochastic and uncertainty characteristics of forced response for nonlinear vibrations of bladed disks with friction and gap contact interfaces. Uncertainty ranges, statistical characteristics, and probability density functions for forced response levels are determined directly without any sampling procedure. The method uses approximations of the forced response level based on derived analytically and calculated extremely fast and accurately sensitivity coefficients of forced response with respect to friction contact interface parameters. The method effectiveness allows analysis of strongly nonlinear vibration of bladed disks using realistic large-scale finite element models. The method is implemented in a program code developed at Imperial College and numerical examples of application of the method for stochastic analysis of a realistic blisc with underplatform dampers are provided.

关键词： stochastic analysis program code disks friction application methods Blades cultivators forcing response LAMELLAR nonlinear vibration

来源：评论

学校读者我要写书评

暂无评论

Hash Function Based Software Watermarking

Hash Function Based Software Watermarking

引用

International Conference on Advanced Software Engineering and Its Applications

作者： Zhang, Xuesong He, Fengling Zuo, Wanli Jilin Univ Coll Comp Sci & Technol Changchun 130012 Peoples R China

ISBN: (纸本)9780769534329

Software piracy is the greatest threats to soft-are industry, which will bring serious damages to the interests of software developers or providers. As a prevention technique, software watermarking is a new research area that aims at providing copyright protection for commercial software. This article proposes a hash function based dynamic software watermarking algorithm. By constructing appropriate hash function, watermark piece is embedded into it. Given the satisfied parameters, hash function will calculate out the corresponding watermark. To strengthen the logical relation with the program itself some of the program's constants are replaced by specific level hash function, tampering of watermark will lead to the application's undefined behavior. Distinguishing from other watermarking techniques, this kind of watermark is not hidden inside the program code or its runtime state, but is calculated out dynamically. Analysis shows that this algorithm will be able to withstand a variety form of transformation attacks.

关键词： Data encoding Hash function Software Protection Software watermarking cryptography Watermarking program code Software protection Computer and computer services industries computer software

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：