搜索结果: 1-15 共查到“工学 Checking”相关记录17条 . 查询时间(0.07 秒)
2017软件模型检验国际研讨会（International SPIN Symposium on Model Checking of Software）
2017 软件模型检验 国际研讨会
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
Tool for checking complex computer architectures reveals flaws in emerging design
Tool checking complex computer architectures flaws
2017/4/27
With backing from some of the largest technology companies, a major project called RISC-V seeks to facilitate open-source design for computer chips, offering the possibility of opening chip designs be...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Checking and Inferring Local Non-Aliasing
Restrict confine types type qualifiers alias analysis effect inference flow-sensitivity
2016/5/24
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applicat...
Data-Driven Equivalence Checking
Binary Analysis Compilers Markov Chain Monte Carlo Optimization Superoptimization
2016/5/24
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, o...
From Invariant Checking to Invariant Inference Using Randomized Search
Invariant Checking Invariant Inference Randomized Search
2016/5/24
We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates an infere...
Quality checking of ALS Projects Using Statistics of Strip Differences
LIDAR Laser scanning Analysis Inspection Accuracy Quality
2015/12/8
We present an automatic method for checking the geometric accuracy of ALS points. First for each strip a DEM is interpolated using the moving planes method. The accuracy of the interpolated height at ...
A New Approach for Checking Elevation Contradiction of Contour elevation
GIS Algorithms Elevation Contradiction of Contours Quality Checking for Spatial Data
2015/12/3
The elevation contradiction of contours is an important question in the quality checking for spatial data in geographical information system. This paper presents a new approach to check the elevation ...
On The Quality Checking of the Airborne Laser Scanning Based Nation Wide Elevation Model in Finland
Airborne laser scanning Optimization Aerial survey Accuracy Quality control
2015/11/20
Nationwide airborne laser scanning (ALS) has been carried out in European countries such as the Netherlands and Switzerland; in Germany large parts of the country has been scanned and the work is goin...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Model Checking Large Network Protocol Implementations
Model Checking Large Network Protocol Implementations
2015/8/7
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network pro...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
AUTOMATING THE CHECKING AND CORRECTING OF DEMs WITHOUT REFERENCE DATA.
Automation correction quality orthorectification DEM/DTM reference data algorithms geometric
2015/6/1
The need for Digital Elevation Model (DEM) checking has raised since the automated matching techniques emerged. The use of reference data is a luxury and therefore cannot be used in all cases. This ar...
Preventative Software Quality Control: Using Human Checking to Change Defective Human Practice
Preventative Software Quality Control Human Checking Change Defective Human Practice
2010/9/21
Traditional Software Inspection is often uneconomic and ties up valuable staff resources. Shifting the emphasis from cleanup (that is, from identifying defects and then removing them), to merely sampl...