搜索结果: 1-15 共查到“计算机科学技术 test”相关记录16条 . 查询时间(0.097 秒)
第9届IEEE国际软件测试自动化研讨会（The 9th IEEE International COMPSAC Workshop on Software Test Automation）
第9届 IEEE 国际软件测试 自动化 研讨会
2017/6/23
Test automation aims to reduce the cost and improve the effectiveness of software testing by using various techniques and methods. Other benefits are consistency and accuracy, reduction of overall tes...
2017新兴存储器解决方案研讨会（2017 Emerging Memory Solutions - Technology, Manufacturing, Architectures, Design and Test）
新兴存储器解决方案 研讨会
2017/3/28
Memory manufacturing, architectures, design and test were deeply investigated in-depth to address issues linked to technology scaling such as increasing static power, maximum operating frequency and t...
南华大学电气工程学院EDA技术及其应用课件第14章 VHDL Test Bench仿真
南华大学电气工程学院 EDA技术及其应用 课件 第14章 VHDL Test Bench仿真
2016/4/12
南华大学电气工程学院EDA技术及其应用课件第14章 VHDL Test Bench仿真。
Field Test of Measurement-Device-Independent Quantum Key Distribution
Field test Measurement-Device-Independent Quantum Key Distribution Automatic Feedback Systems
2016/1/22
A main type of obstacles of practical applications of quantum key distribution (QKD) network is various attacks on detection. Measurement-device-independent QKD (MDIQKD)protocol is immune to all these...
Execution Generated Test Cases:How to Make Systems Code Crash Itself
Execution Generated Test Cases Systems Code Crash Itself
2015/8/7
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using
a combination of symbolic and concrete (i.e., regular) execution. The input values to ...
Zombies in Searle's Chinese Room: Putting the Turing Test to Bed
Chinese Room computation consciousness intentionality mind programming solipsism Turing test zombie
2015/8/5
Searle’s discussions over the years 1980-2004 of the implications of his “Chinese Room” Gedanken experiment are frustrating because they proceed from a correct assertion: (1) “Instantiating a computer...
Blind man’s bluff and the Turing test
Artificial intelligence consciousness functionalism phenomenal qualities qualia Turing test
2015/7/30
It seems plausible that under the conditions of the Turing test, congenitally blind people could nevertheless, with sufficient preparation, successfully represent themselves to remotely located interr...
复旦大学软件学院计算机系统课件 online-test
复旦大学软件学院 计算机系统 课件 online-test
2012/12/18
复旦大学软件学院计算机系统课件 online-test。
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups
Group Isomorphism Permutational Isomorphism Code Equivalence
2012/12/4
We consider the problem of testing isomorphism of groups of order n given by Cayley tables. The trivial nlog n bound on the time complexity for the general case has not been improved upon over the pas...
A Partial Test and Development of Delone and Mclean's Model of IS Success
information system success user satisfaction perceived usefulness
2009/12/9
DeLone and McLean's (1992) comprehensive review of different information system success measures concludes with a model of interrelationships between six IS Success constructs. This paper critically e...
Design of a TEM-Cell with Increased Usable Test Area
TEM-Cell Increased Usable Test Area GSM frequencies
2009/7/28
Transversal electromagnetic mode cells (TEM-cells) are used for electromagnetic compatibility measurements (emission and immunity), and for biomedical applications. Over the years, higher and higher f...
Finite element simulation of wheel impact test
Computational mechanics Nonlinear dynamic finite element Total plastic work
2010/2/4
Design/methodology/approach: The test fixture used for the impact test consists of a striker with specified weight. The test is intended to simulate actual vehicle impact conditions. The tire-wheel as...
Correct, Private, Flexible and Efficient Range Test
interval range range test specialized zero test correctness soundness
2014/3/11
In a range test, one party holds a ciphertext and needs to test whether the message encrypted in the ciphertext is within a certain interval range. In this paper, a range test protocol is proposed, wh...
基于Authentication Test方法的高效安全IKE形式化设计研究
协议设计 形式化方法 Authentication tests 密钥交换 Strand space模型
2007/12/27
基于Authentication Test方法，围绕高效安全Internet密钥交换(ESIKE)协议的安全目标，提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法，设计出了高效安全的IKE协议；并且基于Strand Space模型和Authentication Test方法，形式化分析ESIKE协议，证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IK...
Distributed 2-Vertex Connectivity Test of Graphs Using Local Knowledge
Distributed computing fault-tolerance graph relabeling systems
2010/2/2
The vertex connectivity of a graph is the smallest
number of vertices whose deletion separates the graph or makes it
trivial. This work is devoted to the problem of vertex connectivity
test of grap...