搜索结果: 1-15 共查到“verification”相关记录37条 . 查询时间(0.151 秒)
AUTOMATING THE VERIFICATION OF HERITAGE BUILDING INFORMATION MODELS CREATED FROM POINT CLOUD DATA
3D analysis as-built BIM model checking point clouds deviations walls
2019/3/2
The use of remote sensors to acquire metric information for building information modelling (BIM) of heritage buildings is now common. Problematically, the creation of models from that information is s...
2017 IEEE国际模型验证与确认研讨会（IEEE International Workshop on Model-Based Verification & Validation）
2017 IEEE 国际模型 验证 确认 研讨会
2017/6/23
Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly b...
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
IEEE2017国际大数据应用质量保证和验证研讨会（IEEE International Workshop on Quality assurance and verification for big data applications）
国际大数据应用质量保证和验证 研讨会
2017/3/27
A smart city integrates information and communication technologies, as well as Internet of Things (IoT) solutions to reduce costs and resource consumption, enhance performance, and connect and engage ...
国际研讨会上域特定的基于模型的方法来验证和确认（International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn）
国际研讨会 域特定 基于模型 方法 验证 确认
2017/2/15
Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use dom...
We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety properties de-...
Verification of Producer-Consumer Synchronization in GPU Programs
Verification GPUs data races synchronization deadlock barrier recycling
2016/5/24
Previous efforts to formally verify code written for GPUs have focused solely on kernels written within the traditional data-parallel GPU programming model. No previous work has considered the higher ...
An Interactive Approach to Mobile App Verification
abductive inference specifications from tests
2016/5/24
Static explicit information flow analysis can help human auditors find malware. We propose a process for eliminating false positive flows due to imprecision in the reachability analysis: the developer...
VERIFICATION OF A BUILDING DAMAGE ANALYSIS AND EXTENSION TO SURROUNDINGS OF REFERENCE BUILDINGS
Change Detection LIDAR Vegetation Classification Building Disaster Raster Multispectral
2016/2/29
After a disaster not necessarily all buildings in affected areas are damaged. Therefore, a building damage analysis does not only have
to distinguish different damage types. In fact, unchanged build...
Simulated Order Verification and Medication Reconciliation during an Introductory Pharmacy Practice Experience
electronic health record simulation introductory pharmacy practice experience
2018/9/4
Objective. To create, implement, and assess a simulated medication reconciliation and an order verification activity using hospital training software.
Design. A simulated patient with medication orde...
Degree bounds for polynomial verification of the matrix cube
matrix cube polynomial verification
2015/6/19
In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient conditions using the...
Functional Verification of Arithmetic Circuits using Linear Algebra Methods
Functional Verification Arithmetic Circuits Linear Algebra SMT Arithmetic bit-level Equivalence checking
2014/12/8
This thesis describes an efficient method for speeding up functional verification of arithmetic circuits namely linear network such as wallace trees, counters using linear algebra techniques. The circ...
The majority of speaker veri fication systems proposed in the NIST speaker recognition evaluation are conditioned on the type of data to be processed: telephone or microphone. In this paper, we propos...
Laparoscopic Diaphragmatic Plication in Patients with Unilateral Diaphragm Paralysis with Thoracoscopic Verification
Diaphragm Paralysis Dyspnea Diaphragm Plication Laparoscopy
2013/2/19
Diaphragm eventration or paralysis causes elevation of the ipsilateral diaphragm. Some patients have symptoms. The most common symptom is dyspnea. In symptomatic patients with unilateral diaphragm par...