搜索结果: 1-8 共查到“工学 Execution”相关记录8条 . 查询时间(0.093 秒)
SCAN PLANNING AND ROUTE OPTIMIZATION FOR CONTROL OF EXECUTION OF AS-DESIGNED BIM
BIM control of execution scan-to-BIM path planning visibility
2018/11/9
Scan-to-BIM systems have been recently proposed for the dimensional and quality assessment of as-built construction components with planned works. The procedure is generally based on the geometric ali...
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 ...
Automatically Generating Malicious Disks using Symbolic Execution
Automatically Generating Malicious Disks Symbolic Execution
2015/8/7
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before usin...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution
武汉理工大学 现代计算机体系结构 英文 课件 Lecture10 Out of Order and Speculative Execution
2015/6/1
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution。
Can a Ris/Pacs System Really Improve Execution and Reporting Times?
Radiology Information System (RIS) X-Rays (XR) Picture Archiving and Communication System (PACS) Computed Tomography (CT) Magnetic Resonance Imaging (MRI)
2013/1/28
A study of the process timing and organization has been done in a Radiology Department where Radiology Information System (RIS) and Picture Archiving and Communication System (PACS) are working. The w...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...
Towards minimizing space-time conflicts between site activities using simple generic algorithm – the best execution strategy
4D product assembly genetic algorithm execution pattern space planning constraints
2010/9/29
Construction planners on every project are faced with a unique task of spatially organizing site activities with effective space utilization. This is a crucial planning exercise that if effectively re...