Mechanized proofs accompanying paper: Verifying Concurrent Search Structure Templates

2020 ◽  
Author(s):  
Siddharth Krishna ◽  
Nisarg Patel ◽  
Dennis Shasha ◽  
Thomas Wies
Keyword(s):  
Search Structure

A DISTRIBUTED, REPLICATED, DATA-BALANCED SEARCH STRUCTURE

1994 ◽  
Vol 06 (04) ◽  
pp. 475-500 ◽  
Author(s):  
THEODORE JOHNSON ◽  
ADRIAN COLBROOK
Keyword(s):  
Replicated Data ◽  
Search Structure

scholarly journals Onderzoeksnotitie: Het meten van beroepen in web surveys: een zoekboom

2009 ◽  
Vol 25 (4) ◽  
Author(s):  
Kea Tijdens
Keyword(s):  
The Netherlands ◽  
Reading Time ◽  
Optimal Solution ◽  
Search Tree ◽  
Web Survey ◽  
Web Surveys ◽  
Job Titles ◽  
Search Structure ◽  
Choice Set

Reseach note: Measuring occupations in web surveys: a search tree Reseach note: Measuring occupations in web surveys: a search tree This article addresses the design of a search tree for occupations in web surveys. For the continuous WageIndicator web survey in the Netherlands, a search tree with a choice set of 2.187 occupations has been developed. These occupations are related to the Netherlands Classification of Occupations SBC with 1.211 occupational titles. A search tree must find an optimal solution between a short reading time and a long list of occupations. This list has to be extensive, because for valid self-identification the occupational titles must come close to the respondent's job titles. For this purpose, the three tier search tree has been developed. This article details the principles that have been used in designing the search structure and the choice-set.

Sign in / Sign up

Export Citation Format

Share Document