搜索结果: 1-15 共查到“计算机科学技术 Testing”相关记录21条 . 查询时间(0.391 秒)
In the 2000s, Owolabi Legunsen, assistant professor of computer science, was a software engineer at a Nigerian company, primarily writing code for a finance company. Nigeria is now home to a booming t...
TESTING THE IMPACT OF 2D GENERALISATION ON 3D MODELS – EXPLORING ANALYSIS OPTIONS WITH AN OFF-THE-SHELF SOFTWARE PACKAGE
3D generalisation 3D models 3D buildings simplification aggregation performance
2018/11/9
Popularity and diverse use of 3D city models has increased exponentially in the past few years, providing a more realistic impression and understanding of cities. Often, 3D city models are created by ...
2017 IEEE国际云网络物理系统自动化测试研讨会（IEEE International Workshop on Automation Testing of Cyber-Physical Systems in the Cloud）
2017 IEEE 国际云网络物理系统 自动化测试 研讨会
2017/6/29
Cyber-Physical System (CPS), a combination of computing, network and physical processes, have been widely applied as crucial services into various industries, including automobile industry, electric/e...
2017 IEEE国际组合测试及其应用研讨会（IEEE International Workshop on Combinatorial Testing and its Applications）
2017 IEEE 国际组合 测试 应用 研讨会
2017/6/29
Combinatorial methods are a promising modern approach to software testing. In particular, pairwise testing, which requires testing all pairs of possible values for any pair of input parameters, has sh...
Workshop on Employing Computational Intelligence Techniques for Testing and Validating Complex CPSs
Testing using computational intelligence technology seminars verification is complex independence the host
2017/6/29
Cyber-Physical Systems (CPSs) integrate digital technologies with physical processes. As compared to conventional software, CPSs include real-time processing units, networks, physical processes (such ...
2017国际软件测试与分析研讨会（International Symposium on Software Testing and Analysis）
2017 国际软件 测试 分析 研讨会
2017/6/29
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers...
2017 IEEE国际云网络物理系统自动化测试研讨会（IEEE International Workshop on Automation Testing of Cyber-Physical Systems in the Cloud）
2017年 IEEE国际云网络物理系统自动化测试 研讨会
2017/6/21
Cyber-Physical System (CPS), a combination of computing, network and physical processes, have been widely applied as crucial services into various industries, including automobile industry, electric/e...
Workshop on Employing Computational Intelligence Techniques for Testing and Validating Complex CPSs
Employing Computational Intelligence Technique Validating Complex CPSs
2017/6/21
Cyber-Physical Systems (CPSs) integrate digital technologies with physical processes. As compared to conventional software, CPSs include real-time processing units, networks, physical processes (such ...
Testing Atomicity of Composed Concurrent Operations
concurrency linearizability testing composed operations collections
2016/5/24
Testing Atomicity of Composed Concurrent Operations.
We study privacy-preserving tests for proximity: Alice can test if she is close to Bob without either party revealing any other information about their location. We describe several secure protocols t...
GPS Attitude Determination for a JPALS Testbed:Integer Initialization and Testing
GPS Attitude Determination JPALS Testbed
2015/6/26
An attitude-based search algorithm was implemented for initial ambiguity resolution and integer determination, and then tested on a three-element equilateral array with baselines of 0.5m. Running the ...
Design and Testing of a Prototype High Speed Data Acquisition System for NASA
Data Acquisition System NASA High Speed state of the art phase detection polyphase filter
2014/12/8
Modern radar and signal processing applications require data acquisition systems capable of high-speed analog data reception and processing. These systems need to support sophisticated signal processi...
Lower Bounds for Testing Computability by Small Width OBDDs
Lower Bounds for Testing Computability OBDDs
2012/12/4
We consider the problem of testing whether a function f : {0, 1}n → {0, 1} is computable by a read-once, width-2 ordered binary decision diagram (OBDD), also known as a branching program. This problem...
Status of Developers’ Testing Process
Dynamic Testing Static Testing Peer Reviews Inspections Debugging Test Cases Testing Techniques
2013/1/29
Even if recent methodologies bring more recognition to developers’ testing process, we still have little insight into its status within the industry. In this paper, we study the status of developers’ ...
Testing Delivery Systems in Transnational Virtual Learning: The Vocational Management Training for the European Tourism Industry (VocMat) Case Study
Testing Delivery Systems Transnational Virtual Vocational Management
2010/9/25
This article discusses the lessons learned from developing and delivering the Vocational Management Training for the European Tourism Industry (VocMat) online training programme, which was aimed at pr...