Search results for "multithreaded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Zeshan Chishti, T. N. Vijaykumar	Optimal Power/Performance Pipeline Depth for SMT in Scaled Technologies.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Power Management, Performance of Systems, Multithreaded processors
15	Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner	Dataflow analysis for concurrent programs using datarace detection.	PLDI	2008	DBLP DOI BibTeX RDF	locksets, interprocedural analysis, multithreaded programs, summaries
15	Javier Verdú, Mario Nemirovsky, Mateo Valero	MultiLayer processing - an execution model for parallel stateful packet processing.	ANCS	2008	DBLP DOI BibTeX RDF	massively multithreaded architectures, multilayer processing, stateful, deep packet inspection, Snort
15	David H. Albonesi	Productive and Healthy Debate.	IEEE Micro	2007	DBLP DOI BibTeX RDF	single-threaded, security, reliability, low power, computer architecture, multithreaded, debates
15	John Glossner, Daniel Iancu, Mayan Moudgill, Michael J. Schulte, Stamatis Vassiliadis	Trends in Low Power Handset Software Defined Radio.	SAMOS	2007	DBLP DOI BibTeX RDF	DSP, Software Defined Radio, SDR, Multithreaded processors
15	Wenlong Li, Eric Q. Li, Aamer Jaleel, Jiulong Shan, Yurong Chen 0001, Qigang Wang, Ravi R. Iyer 0001, Ramesh Illikkal, Yimin Zhang 0002, Dong Liu, Michael Liao, Wei Wei, Jinhua Du	Understanding the Memory Performance of Data-Mining Workloads on Small, Medium, and Large-Scale CMPs Using Hardware-Software Co-simulation.	ISPASS	2007	DBLP DOI BibTeX RDF	DRAM caches, small-scale CMP, medium-scale CMP, large-scale CMP, hardware-software co-simulation, terabyte-level workloads, multithreaded data mining applications, cache design, memory performance, multicore systems, memory system performance
15	Alfredo Remón, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí	Parallel Solution of Band Linear Systems in Model Reduction.	PPAM	2007	DBLP DOI BibTeX RDF	band linear systems, multithreaded BLAS, symmetric multiprocessors (SMP), Model reduction, LU factorization
15	Cameron McNairy, Rohit Bhatia	Montecito: A Dual-Core, Dual-Thread Itanium Processor.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Reliability, Power Management, Cache memories, Multithreaded processors, Testing and Fault-Tolerance
15	Emre Özer 0001, Thomas M. Conte	High-Performance and Low-Cost Dual-Thread VLIW Processor Using Weld Architecture Paradigm.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	Multithreaded processors, VLIW architectures, modeling of computer architecture
15	Marisa Gil, Ruben Pinilla	Thread coloring: a scheduler proposal from user to hardware threads.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	hyper-threading, thread coloring, scheduling, multithreaded, SMT, linux kernel
15	Jami Montgomery	A Model for Updating Real-Time Applications.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	code replacement, RT-Mach, multithreaded, dynamic update, software update
15	Muhamed F. Mudawar	Scalable cache memory design for large-scale SMT architectures.	WMPI	2004	DBLP DOI BibTeX RDF	scalable multiported cache memory, simultaneous multithreaded architectures
15	Guy E. Blelloch, Phillip B. Gibbons	Effectively sharing a cache among threads.	SPAA	2004	DBLP DOI BibTeX RDF	chip multiprocessors, scheduling algorithms, shared cache, multithreaded architectures
15	Ruben Pinilla, Marisa Gil	ULT: a Java threads model for platform independent execution.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	HPI, Java threads, ULT, kernel threads, user threads, scheduling, concurrency, multithreaded, JVM
15	Ruben Pinilla, Marisa Gil	JVM: platform independent vs. performance dependent.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	Java threads, kernel threads, user threads, scheduling, concurrency, multithreaded, JVM
15	J. Gregory Steffan, Christopher B. Colohan, Antonia Zhai, Todd C. Mowry	Improving Value Communication for Thread-Level Speculation.	HPCA	2002	DBLP DOI BibTeX RDF	parallelization, multithreaded, Speculation, value prediction
15	Stephen W. Melvin, Yale N. Patt	Handling of packet dependencies: a critical issue for highly parallel network processors.	CASES	2002	DBLP DOI BibTeX RDF	memory synchronization, packet dependencies, parallel processing, network processors, processor architecture, thread level speculation, multithreaded processors, packet processing
15	Kenneth A. Perrine, Donald R. Jones	Parallel graphics and interactivity with the scaleable graphics engine.	SC	2001	DBLP DOI BibTeX RDF	visualization, parallel, framework, multithreaded, hardware, buffer, frame, SMP, OpenGL
15	Michiel Ronsse, Koenraad De Bosschere	RecPlay: A Fully Integrated Practical Record/Replay System.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming
15	Ali R. Hurson, Krishna M. Kavi, Joford T. Lim	Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Loop allocation, multithreaded dataflow organization, scheduling and load balancing, control-flow multiprocessor organization, simulation, DOACROSS loop
15	Ronald Charles Moore, Bernd Klauer, Klaus Waldschmidt	What computer architecture can learn from computational intelligence-and vice versa.	EUROMICRO	1997	DBLP DOI BibTeX RDF	von Neumann model, neural network, parallelism, artificial intelligence, computer architecture, regularity, parallelizing compilers, granularity, data distribution, computational intelligence, multithreaded architecture
15	Jin-Soo Kim, Soonhoi Ha, Chu Shik Jhon	Reducing Overheads of Local Communications in Fine-grain Parallel Computation.	ICPP	1997	DBLP DOI BibTeX RDF	fine-grain computation, multithreaded architecture, local communication
13	Marek Michalczuk, Bartlomiej Ufnalski, Andrzej Galecki	Multithreaded State Controller for Grid-Connected Converter With Imposed Limits.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
13	Daniel Langr, Tomás Dytrych	Parallel multithreaded deduplication of data sequences in nuclear structure calculations.	Int. J. High Perform. Comput. Appl.	2024	DBLP DOI BibTeX RDF
13	Inho Cho, Seo Jin Park, Ahmed Saeed 0001, Mohammad Alizadeh, Adam Belay	LDB: An Efficient Latency Profiling Tool for Multithreaded Applications.	NSDI	2024	DBLP BibTeX RDF
13	Jui Mhatre, Ahyoung Lee, Hoseon Lee, Ramazan Aygun	Design and Implementation of Multithreaded CAD-Enabled LoRa Simulator for Massive IoT.	IMCOM	2024	DBLP DOI BibTeX RDF
13	Dahlan Nariman	Enhancing Effectiveness and Efficiency of Customers Reviews Data Collection Through Multithreaded Web Scraping Approach.	AINA (2)	2024	DBLP DOI BibTeX RDF
13	Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz	Polynima: Practical Hybrid Recompilation for Multithreaded Binaries.	EuroSys	2024	DBLP DOI BibTeX RDF
13	Jiayin Lu, Emanuel A. Lazar, Chris H. Rycroft	An extension to Voro++ for multithreaded computation of Voronoi cells.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
13	Pawel Czarnul	A multithreaded CUDA and OpenMP based power-aware programming framework for multi-node GPU systems.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
13	Pavel Parízek, Filip Kliber	Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs.	ACM SIGSOFT Softw. Eng. Notes	2023	DBLP DOI BibTeX RDF
13	Maxwell Pirtle, Luka Jovanovic, Gene Cooperman	McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs.	Art Sci. Eng. Program.	2023	DBLP DOI BibTeX RDF
13	Philipp Seitz, Manuel Geiger, Christian B. Mendl	Multithreaded parallelism for heterogeneous clusters of QPUs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Evan Ning, David R. Kaeli	Memory Efficient Multithreaded Incremental Segmented Sieve Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
13	Stefan Winter 0001, Abraham Chan, Habib Saissi, Karthik Pattabiraman, Neeraj Suri	Error Propagation Analysis for Multithreaded Programs: An Empirical Approach.	CoRR	2023	DBLP DOI BibTeX RDF
13	Dong Jiang, Zhen Yuan, Wen-xin Li, Liang-liang Lu	Real-time chaotic video encryption based on multithreaded parallel confusion and diffusion.	CoRR	2023	DBLP DOI BibTeX RDF
13	Melody Alsaker, Jennifer L. Mueller, Andreas Stahel	A multithreaded real-time solution for 2D EIT reconstruction with the D-bar algorithm.	J. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Franklin Ingrid Kamga Youmbi, Vianney Kengne Tchendji, Clémentin Tayou Djamégni	P-FARFAR2: A multithreaded greedy approach to sampling low-energy RNA structures in Rosetta FARFAR2.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
13	Grzegorz Kielanski, Benny Van Houdt	Performance Analysis of Work Stealing Strategies in Large-Scale Multithreaded Computing.	ACM Trans. Model. Comput. Simul.	2023	DBLP DOI BibTeX RDF
13	George Manis, Dimitrios Bakalis, Roberto Sassi	A Multithreaded Algorithm for the Computation of Sample Entropy.	Algorithms	2023	DBLP DOI BibTeX RDF
13	Otho T. Komatsu, Edil Medeiros, Lucas M. Alves, Eduardo Peixoto	Multithreaded Algorithms for Lossless Intra Compression of Point Cloud Geometry Based on the Silhouette 3d Coder.	ICIP	2023	DBLP DOI BibTeX RDF
13	Jonas H. Müller Korndörfer, Ahmed Eleliemy, Osman Seckin Simsek, Thomas Ilsche, Robert Schöne, Florina M. Ciorba	How Do OS and Application Schedulers Interact? An Investigation with Multithreaded Applications.	Euro-Par	2023	DBLP DOI BibTeX RDF
13	Yuta Nojiri, Nobuyuki Yamasaki	A Design of Multithreaded RISC-V Processor for Real-Time System.	CANDARW	2023	DBLP DOI BibTeX RDF
13	Gulsum Gudukbay Akbulut, Mahmut T. Kandemir, Mustafa Karaköy, Wonil Choi	Data Recomputation for Multithreaded Applications.	ICCAD	2023	DBLP DOI BibTeX RDF
13	Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone	Opportunistic Monitoring of Multithreaded Programs.	FASE	2023	DBLP DOI BibTeX RDF
13	Thomas J. Repetti	Designing, Implementing and Programming a Massively Multithreaded Spatial Accelerator Architecture		2023	DOI RDF
13	George K. Adam	Real-time performance analysis of distributed multithreaded applications in a cluster of ARM-based embedded devices.	Int. J. High Perform. Syst. Archit.	2022	DBLP DOI BibTeX RDF
13	Yossi Eni, Shlomo Greenberg, Yehuda Ben-Shimol	Efficient Hint-Based Event (EHE) Issue Scheduling for Hardware Multithreaded RISC-V Pipeline.	IEEE Trans. Circuits Syst. I Regul. Pap.	2022	DBLP DOI BibTeX RDF
13	Polykarpos Thomadakis, Christos Tsolakis, Nikos Chrisochoides	Multithreaded runtime framework for parallel and adaptive applications.	Eng. Comput.	2022	DBLP DOI BibTeX RDF
13	Jonas H. Müller Korndörfer, Ahmed Eleliemy, Ali Mohammed, Florina M. Ciorba	LB4OMP: A Dynamic Load Balancing Library for Multithreaded Applications.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
13	Dimitri Kagaris, Sourav Dutta, Stijn Eyerman	Execution Time Estimation of Multithreaded Programs With Critical Sections.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
13	George K. Adam	Co-Design of Multicore Hardware and Multithreaded Software for Thread Performance Assessment on an FPGA.	Comput.	2022	DBLP DOI BibTeX RDF
13	Jiayin Lu, Emanuel A. Lazar, Chris H. Rycroft	An extension to VORO++ for multithreaded computation of Voronoi cells.	CoRR	2022	DBLP DOI BibTeX RDF
13	Maxwell Pirtle, Luka Jovanovic, Gene Cooperman	McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs.	CoRR	2022	DBLP DOI BibTeX RDF
13	Lucia Pons, Josué Feliu, José Puche, Chaoyi Huang, Salvador Petit, Julio Pons, María Engracia Gómez, Julio Sahuquillo	Effect of Hyper-Threading in Latency-Critical Multithreaded Cloud Applications and Utilization Analysis of the Major System Resources.	Future Gener. Comput. Syst.	2022	DBLP DOI BibTeX RDF
13	Xiaoyu Ai, Robert A. Malaney	Optimised Multithreaded CV-QKD Reconciliation for Global Quantum Networks.	IEEE Trans. Commun.	2022	DBLP DOI BibTeX RDF
13	Ammar Ammar, Rachel Cavill, Chris T. A. Evelo, Egon L. Willighagen	PSnpBind: a database of mutated binding site protein-ligand complexes constructed using a multithreaded virtual screening workflow.	J. Cheminformatics	2022	DBLP DOI BibTeX RDF
13	P. Padma Priya Dharishini, Prakriya Ramana Murthy	Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP.	ISEC	2022	DBLP DOI BibTeX RDF
13	Virginia Niculescu, Camelia Serban, Andreea Vescan	A New Metric for Multithreaded Parallel Programs Overhead Time Prediction.	ENASE (Selected Papers)	2022	DBLP DOI BibTeX RDF
13	Virginia Niculescu, Camelia Serban, Andreea Vescan	Towards an Overhead Estimation Model for Multithreaded Parallel Programs.	ENASE	2022	DBLP DOI BibTeX RDF
13	Michael Wagner 0026, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker	Developing multithreaded techniques and improved constraint handling for the tool CAgen.	ICST Workshops	2022	DBLP DOI BibTeX RDF
13	Tuba Yavuz	SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.	ICST	2022	DBLP DOI BibTeX RDF
13	Eren Yildiz, Lijun Chen, Kasim Sinan Yildirim	Immortal Threads: Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers.	OSDI	2022	DBLP BibTeX RDF
13	Tomas Antonio Lopez, Nobuyuki Yamasaki	Prioritized Asynchronous Calls for Parallel Processing on Responsive MultiThreaded Processor.	CANDAR	2022	DBLP DOI BibTeX RDF
13	Botao Li, Synge Todo, Anthony C. Maggs, Werner Krauth	Multithreaded event-chain Monte Carlo with local times.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
13	Pascal Baumann 0001, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche	Context-bounded verification of liveness properties for multithreaded shared-memory programs.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
13	Merve Yildiz Güney, Büsra Kuru, Sercan Sari, Isa Ahmet Güney, Gürhan Küçük	Dynamic issue queue capping for simultaneous multithreaded processors.	Turkish J. Electr. Eng. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Marek Michalczuk, Bartlomiej Ufnalski, Lech Marian Grzesiak	Imposing Constraints in a Full State Feedback System Using Multithreaded Controller.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
13	Claudio Kozický, Ivan Simecek	Joint direct and transposed sparse matrix-vector multiplication for multithreaded CPUs.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
13	Stefano Conoci, Pierangelo di Sanzo, Alessandro Pellegrini 0001, Bruno Ciciani, Francesco Quaglia	On power capping and performance optimization of multithreaded applications.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
13	Abdallah Cheikh, Stefano Sordillo, Antonio Mastrandrea, Francesco Menichelli, Giuseppe Scotti, Mauro Olivieri	Klessydra-T: Designing Vector Coprocessors for Multithreaded Edge-Computing Cores.	IEEE Micro	2021	DBLP DOI BibTeX RDF
13	Damian Giebas, Rafal Wojszczyk	Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Abhijit Das 0002, John Jose, Prabhat Mishra 0001	Data Criticality in Multithreaded Applications: An Insight for Many-Core Systems.	IEEE Trans. Very Large Scale Integr. Syst.	2021	DBLP DOI BibTeX RDF
13	Xiaohan Tao, Jianmin Pang, Jinlong Xu, Yu Zhu	Compiler-directed scratchpad memory data transfer optimization for multithreaded applications on a heterogeneous many-core architecture.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
13	Timothy G. Mattson, Todd A. Anderson 0001, Giorgis Georgakoudis, Konrad Hinsen, Anshu Dubey	PyOMP: Multithreaded Parallel Programming in Python.	Comput. Sci. Eng.	2021	DBLP DOI BibTeX RDF
13	Sanchari Saha, Dinesh K. Anvekar	An optimized security solution based on trust value for multithreaded wireless body area network communication.	Int. J. Pervasive Comput. Commun.	2021	DBLP DOI BibTeX RDF
13	Xiaoyu Ai, Robert A. Malaney	Optimised Multithreaded CV-QKD Reconciliation for Global Quantum Networks.	CoRR	2021	DBLP BibTeX RDF
13	Jonas H. Müller Korndörfer, Ahmed Eleliemy, Ali Mohammed, Florina M. Ciorba	LB4OMP: A Dynamic Load Balancing Library for Multithreaded Applications.	CoRR	2021	DBLP BibTeX RDF
13	Basel A. Mahafzah, Riad Jabri, Omayya Murad	Multithreaded scheduling for program segments based on chemical reaction optimizer.	Soft Comput.	2021	DBLP DOI BibTeX RDF
13	Nikki Sonenberg, Grzegorz Kielanski, Benny Van Houdt	Performance Analysis of Work Stealing in Large-scale Multithreaded Computing.	ACM Trans. Model. Perform. Evaluation Comput. Syst.	2021	DBLP DOI BibTeX RDF
13	Bashar Romanous, Skyler Windh, Ildar Absalyamov, Prerna Budhkar, Robert J. Halstead, Walid A. Najjar, Vassilis J. Tsotras	Efficient local locking for massively multithreaded in-memory hash-based operators.	VLDB J.	2021	DBLP DOI BibTeX RDF
13	Sören Tempel, Vladimir Herdt, Rolf Drechsler	Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.		2021	DOI RDF
13	Ken Nakajima, Masahito Shiba	Mechanism for Multithreaded and Asynchronous System Call Execution.	LifeTech	2021	DBLP DOI BibTeX RDF
13	Zhou Qian, Zhao Bing	Research on Multithreaded Data Scheduling Control Method for Power Communication Based on Wireless Sensor.	ICMTEL (1)	2021	DBLP DOI BibTeX RDF
13	Veska Gancheva	Parallel Multithreaded Medical Images Filtering.	CSCI	2021	DBLP DOI BibTeX RDF
13	Sören Tempel, Vladimir Herdt, Rolf Drechsler	In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes.	FDL	2021	DBLP DOI BibTeX RDF
13	Michele Martone, Simone Bacchio	PyRSB: Portable Performance on Multithreaded Sparse BLAS Operations.	SciPy	2021	DBLP DOI BibTeX RDF
13	Todd A. Anderson 0001, Tim Mattson	Multithreaded parallel Python through OpenMP support in Numba.	SciPy	2021	DBLP DOI BibTeX RDF
13	Mohamad Hafezan, Hossein Azari, Amir Dabaghan, Leila Beigi	An Accurate Learning-Based Performance/Power Model for System-Level Design of a Multicore Multithreaded Network Processor.	ICICT	2021	DBLP DOI BibTeX RDF
13	Michael Rawson 0001, Giles Reger	A Multithreaded Vampire with Shared Persistent Grounding.	FMCAD	2021	DBLP DOI BibTeX RDF
13	Rafal Wojszczyk, Damian Giebas	Repair of Multithreaded Errors in the Control and Measurement System.	DCAI (2)	2021	DBLP DOI BibTeX RDF
13	Mehrdad Ghorbani, Seyed Morteza Babamir	Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
13	Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan	A Deadlock Prevention Policy for a Class of Multithreaded Software.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Wei-Fang Sun, Shih-Hsien Chan, Zhe-Ting Liu, Yu-Hung Yeh, Pai H. Chou	Quatros: a preemptive multithreaded embedded OS for education.	SIGBED Rev.	2020	DBLP DOI BibTeX RDF
13	Ilke Çugu, Murat Manguoglu	A parallel multithreaded sparse triangular linear system solver.	Comput. Math. Appl.	2020	DBLP DOI BibTeX RDF
13	Yibo Lin, Wuxi Li, Jiaqi Gu, Haoxing Ren, Brucek Khailany, David Z. Pan	ABCDPlace: Accelerated Batch-Based Concurrent Detailed Placement on Multithreaded CPUs and GPUs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
13	Syed Ali Asadullah Bukhari, Faiq Khalid, Osman Hasan, Muhammad Shafique 0001, Jörg Henkel	Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
13	Ankur Sharma 0001, David G. Chinnery, Tiago Reimann, Sarvesh Bhardwaj, Chris Chu	Fast Lagrangian Relaxation-Based Multithreaded Gate Sizing Using Simple Timing Calibrations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
13	Gene Cooperman, Martin Quinson	Sthread: In-Vivo Model Checking of Multithreaded Programs.	Art Sci. Eng. Program.	2020	DBLP DOI BibTeX RDF
13	Pascal Baumann 0001, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche	Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs.	CoRR	2020	DBLP BibTeX RDF