Fast, Dynamically-Sized Concurrent Hash Table (English)
- New search for: Barnat, J.
- New search for: Ročkai, P.
- New search for: Štill, V.
- New search for: Weiser, J.
- New search for: Fischer, Bernd
- New search for: Geldenhuys, Jaco
- New search for: Barnat, J.
- New search for: Ročkai, P.
- New search for: Štill, V.
- New search for: Weiser, J.
In:
Model Checking Software
: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
;
Chapter: 5
;
49-65
;
2015
- Article/Chapter (Book) / Electronic Resource
-
Title:Fast, Dynamically-Sized Concurrent Hash Table
-
Additional title:Lect.Notes Computer
-
Contributors:Fischer, Bernd ( editor ) / Geldenhuys, Jaco ( editor ) / Barnat, J. ( author ) / Ročkai, P. ( author ) / Štill, V. ( author ) / Weiser, J. ( author )
-
Conference:International SPIN Workshop on Model Checking of Software ; 2015 ; Stellenbosch, South Africa
-
Published in:Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings ; Chapter: 5 ; 49-65Lecture Notes in Computer Science ; 9232 ; 49-65
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2015-08-27
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
String Analysis for Vulnerability Detection and RepairBultan, Tevfik et al. | 2015
- 2
-
ASTRA: A Tool for Abstract Interpretation of Graph Transformation SystemsBackes, Peter / Reineke, Jan et al. | 2015
- 3
-
Refinement SelectionBeyer, Dirk / Löwe, Stefan / Wendler, Philipp et al. | 2015
- 4
-
From Helena Ensemble Specifications to Promela Verification ModelsKlarl, Annabelle et al. | 2015
- 5
-
Fast, Dynamically-Sized Concurrent Hash TableBarnat, J. / Ročkai, P. / Štill, V. / Weiser, J. et al. | 2015
- 6
-
On Refinement of Büchi Automata for Explicit Model CheckingBlahoudek, František / Duret-Lutz, Alexandre / Rujbr, Vojtěch / Strejček, Jan et al. | 2015
- 7
-
Practical Stutter-Invariance Checks for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-Regular LanguagesMichaud, Thibaud / Duret-Lutz, Alexandre et al. | 2015
- 8
-
MESS: Memory Performance Debugging on Embedded Multi-core SystemsChattopadhyay, Sudipta et al. | 2015
- 9
-
DSVerifier: A Bounded Model Checking Tool for Digital SystemsIsmail, Hussama I. / Bessa, Iury V. / Cordeiro, Lucas C. / de Lima Filho, Eddie B. / Chaves Filho, João E. et al. | 2015
- 10
-
Runtime Verification of Expected Energy Consumption in SmartphonesEspada, Ana Rosario / del Mar Gallardo, María / Salmerón, Alberto / Merino, Pedro et al. | 2015
- 11
-
Directed Model Checking for PROMELA with Relaxation-Based Distance FunctionsAndisha, Ahmad Siyar / Wehrle, Martin / Westphal, Bernd et al. | 2015
- 12
-
Benchmarking and Resource MeasurementBeyer, Dirk / Löwe, Stefan / Wendler, Philipp et al. | 2015
- 13
-
PickLock: A Deadlock Prediction Approach under Nested LockingSorrentino, Francesco et al. | 2015
- 14
-
Symbolic Causality Checking Using Bounded Model CheckingBeer, Adrian / Heidinger, Stephan / Kühne, Uwe / Leitner-Fischer, Florian / Leue, Stefan et al. | 2015
- 15
-
Model Counting for Complex Data StructuresFilieri, Antonio / Frias, Marcelo F. / Păsăreanu, Corina S. / Visser, Willem et al. | 2015
- 16
-
Parallel SAT-Based Parameterised Three-Valued Model CheckingTimm, Nils / Gruner, Stefan / Sibanda, Prince et al. | 2015
- 17
-
Comparative Analysis of Leakage Tools on Scalable Case StudiesBiondi, Fabrizio / Legay, Axel / Quilbeuf, Jean et al. | 2015
- 18
-
Family-Based Model Checking Without a Family-Based Model CheckerDimovski, Aleksandar S. / Al-Sibahi, Ahmad Salim / Brabrand, Claus / Wąsowski, Andrzej et al. | 2015
- 19
-
IC-Cut: A Compositional Search Strategy for Dynamic Test GenerationChristakis, Maria / Godefroid, Patrice et al. | 2015