scholarly journals Implied Set Closure and Its Application to Memory Consistency Verification

2008 ◽  
pp. 94-106 ◽  
Author(s):  
Surender Baswana ◽  
Shashank K. Mehta ◽  
Vishal Powar
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

scholarly journals Fast and Generalized Polynomial Time Memory Consistency Verification

2006 ◽  
pp. 503-516 ◽  
Author(s):  
Amitabha Roy ◽  
Stephan Zeisset ◽  
Charles J. Fleckenstein ◽  
John C. Huang
Keyword(s):  
Polynomial Time ◽  
Memory Consistency ◽  
Generalized Polynomial ◽  
Consistency Verification

Fast complete memory consistency verification

2009 ◽  
Author(s):  
Yunji Chen ◽  
Yi Lv ◽  
Weiwu Hu ◽  
Tianshi Chen ◽  
Haihua Shen ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

Program Regularization in Memory Consistency Verification

2012 ◽  
Vol 23 (11) ◽  
pp. 2163-2174 ◽  
Author(s):  
Yunji Chen ◽  
Lei Li ◽  
Tianshi Chen ◽  
Ling Li ◽  
Lei Wang ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

Linear Time Memory Consistency Verification

2012 ◽  
Vol 61 (4) ◽  
pp. 502-516 ◽  
Author(s):  
Weiwu Hu ◽  
Yunji Chen ◽  
Tianshi Chen ◽  
Cheng Qian ◽  
Lei Li
Keyword(s):  
Linear Time ◽  
Memory Consistency ◽  
Consistency Verification

Memory Consistency Verification of Chip Multi-Processor

2010 ◽  
Vol 21 (4) ◽  
pp. 863-874 ◽  
Author(s):  
Peng-Yu WANG ◽  
Yun-Ji CHEN ◽  
Hai-Hua SHEN ◽  
Tian-Shi CHEN ◽  
Heng ZHANG
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

Unified approach to spatial description of objects terrain departmental registries / cadastres as a perspective basis of the state system territory mapping

2019 ◽  
Vol 942 (12) ◽  
pp. 41-49
Author(s):  
A.M. Portnov
Keyword(s):  
Spatial Data ◽  
Spatial Description ◽  
Unified Approach ◽  
Technological Basis ◽  
The Public ◽  
Wide Range ◽  
The Russian Federation ◽  
Map Data ◽  
Consistency Verification ◽  
Thematic Data

Using unified principles of formation and maintenance of register/cadaster with information about spatial data of landscape objects as the informational and technological basis for updating the public topographic maps and modernization of state cartographic system is proposed. The problems of informational relevancy of unified electronical cartographic basis and capacity of its renovation in case of public cadaster map data. The need to modernize the system of classification and coding of cartographic information, the use of unified standards for the coordinate description of register objects for their topological consistency, verification and updating is emphasized. Implementing such solutions is determined by economical expediency as well as necessity of providing a variety of real thematic data for wide range of consumers in the field of urban planning, territories development and completing the tasks of Governmental program “Digital economy of the Russian Federation”.

Sign in / Sign up

Export Citation Format

Share Document