Search results for "multithreaded"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Shin Hong, Moonzoo Kim	A survey of race bug detection techniques for multithreaded programmes.	Softw. Test. Verification Reliab.	2015	DBLP DOI BibTeX RDF
13	David Portugal, Bruno D. Gouveia, Lino Marques	A Distributed and Multithreaded SLAM Architecture for Robotic Clusters and Wireless Sensor Networks.	Advances in Social Media Analysis	2015	DBLP DOI BibTeX RDF
13	Alessandro Morari, Vito Giovanni Castellana, Oreste Villa, Jesse Weaver, Gregory Todd Williams, David J. Haglin, Antonino Tumeo, John Feo	GEMS: Graph Database Engine for Multithreaded Systems.	Big Data - Algorithms, Analytics, and Applications	2015	DBLP DOI BibTeX RDF
13	Kenta Hasumi, Munenori Kai	Improvement of strong migration method to manage multithreaded agents and implementation of mechanisms for sharing information of agents in AgentSphere.	PACRIM	2015	DBLP DOI BibTeX RDF
13	Michael D. Bond, Milind Kulkarni 0001, Man Cao, Meisam Fathi Salmi, Jipeng Huang	Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine.	PPPJ	2015	DBLP DOI BibTeX RDF
13	Carolina Bonacic, Danilo Bustos, Veronica Gil-Costa, Mauricio Marín, Victor Sepulveda	Multithreaded Processing in Dynamic Inverted Indexes for Web Search Engines.	LSDS-IR@CIKM	2015	DBLP DOI BibTeX RDF
13	Lorenz Meier, Dominik Honegger, Marc Pollefeys	PX4: A node-based multithreaded open source robotics framework for deeply embedded platforms.	ICRA	2015	DBLP DOI BibTeX RDF
13	Alexandre Denis 0001	pioman: A Pthread-Based Multithreaded Communication Engine.	PDP	2015	DBLP DOI BibTeX RDF
13	Balazs Gerofi, Masamichi Takagi, Yutaka Ishikawa	Toward Operating System Support for Scalable Multithreaded Message Passing.	EuroMPI	2015	DBLP DOI BibTeX RDF
13	Arthur Francisco Lorenzon, Anderson Luiz Sartor, Márcia C. Cera, Antonio Carlos Schneider Beck	Optimized Use of Parallel Programming Interfaces in Multithreaded Embedded Architectures.	ISVLSI	2015	DBLP DOI BibTeX RDF
13	Ragnar Mogk	Concurrency control for multithreaded reactive programming.	SPLASH (Companion Volume)	2015	DBLP DOI BibTeX RDF
13	Ayah Helal, Florin Balasa	Multithreaded Signal-to-Memory Mapping Algorithm for Embedded Multidimensional Signal Processing.	CSCS	2015	DBLP DOI BibTeX RDF
13	Bradley C. Kuszmaul	SuperMalloc: a super fast multithreaded malloc for 64-bit machines.	ISMM	2015	DBLP DOI BibTeX RDF
13	Dariusz Mrozek, Bozena Malysiak-Mrozek, Bartek Socha, Stanislaw Kozielski	Selection of a Consensus Area Size for Multithreaded Wavefront-Based Alignment Procedure for Compressed Sequences of Protein Secondary Structures.	PReMI	2015	DBLP DOI BibTeX RDF
13	Alfonso Rodríguez 0002, Juan Valverde, Eduardo de la Torre	Design of OpenCL-compatible multithreaded hardware accelerators with dynamic support for embedded FPGAs.	ReConFig	2015	DBLP DOI BibTeX RDF
13	Shangru Wu, Chunbai Yang, W. K. Chan 0001	ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs.	QRS	2015	DBLP DOI BibTeX RDF
13	Adam Chlipala	From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification.	POPL	2015	DBLP DOI BibTeX RDF
13	Ryan W. Moore, Bruce R. Childers, Jingling Xue	Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
13	Samyan Qayyum Wahla, W. Sahar, Talha Waheed, Muhammad Aslam 0001, Ana María Martínez Enríquez	Real Time Digital Image Processing Using Point Operations in Multithreaded Systems.	MICAI (Special Sessions)	2015	DBLP DOI BibTeX RDF
13	Junjie Qian, Du Li, Witawas Srisa-an, Hong Jiang 0001, Sharad C. Seth	Factors affecting scalability of multithreaded Java applications on manycore systems.	ISPASS	2015	DBLP DOI BibTeX RDF
13	W. K. Chan 0001, T. H. Tse, Shangru Wu, Yuen-Tak Yu, Zhenyu Zhang 0004	Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.	COMPSAC (Stephen S. Yau Academic Symposium)	2015	DBLP DOI BibTeX RDF
13	Marc Aurel Kiefer, Korbinian Molitorisz, Jochen Bieler, Walter F. Tichy	Parallelizing a Real-Time Audio Application - A Case Study in Multithreaded Software Engineering.	IPDPS Workshops	2015	DBLP DOI BibTeX RDF
13	Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski	Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.	FTfJP@ECOOP	2015	DBLP DOI BibTeX RDF
13	Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza	Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.	ACSD	2015	DBLP DOI BibTeX RDF
13	Shengjian Guo, Markus Kusano, Chao Wang 0001, Zijiang Yang 0006, Aarti Gupta	Assertion guided symbolic execution of multithreaded programs.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
13	Jun Wang 0141, Xi Xiong, Peng Liu 0005	Between Mutual Trust and Mutual Distrust: Practical Fine-grained Privilege Separation in Multithreaded Applications.	USENIX Annual Technical Conference	2015	DBLP BibTeX RDF
13	Skyler Windh, Prerna Budhkar, Walid A. Najjar	CAMs as Synchronizing Caches for Multithreaded Irregular Applications on FPGAs.	ICCAD	2015	DBLP DOI BibTeX RDF
13	Jeffrey Goeders, Steven J. E. Wilton	Using Round-Robin Tracepoints to debug multithreaded HLS circuits on FPGAs.	FPT	2015	DBLP DOI BibTeX RDF
13	Luka Stanisic, Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Arnaud Legrand, Florent Lopez, Brice Videau	Fast and Accurate Simulation of Multithreaded Sparse Linear Algebra Solvers.	ICPADS	2015	DBLP DOI BibTeX RDF
13	Zhuoqun Cheng, Ye Li 0001, Richard West	Qduino: A Multithreaded Arduino System for Embedded Computing.	RTSS	2015	DBLP DOI BibTeX RDF
13	Jinhui Chen, Tetsuya Takiguchi, Yasuo Ariki	Facial expression recognition with multithreaded cascade of rotation-invariant HOG.	ACII	2015	DBLP DOI BibTeX RDF
13	Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan	Pegasus: automatic barrier inference for stable multithreaded systems.	ISSTA	2015	DBLP DOI BibTeX RDF
13	Zhuoqun Cheng, Ye Li 0001, Richard West	Demo abstract: A multithreaded arduino system for embedded computing.	RTAS	2015	DBLP DOI BibTeX RDF
13	Masab Ahmad, Farrukh Hijaz, Qingchuan Shi, Omer Khan	CRONO: A Benchmark Suite for Multithreaded Graph Algorithms Executing on Futuristic Multicores.	IISWC	2015	DBLP DOI BibTeX RDF
13	Dan Zeng, Liang Zhu, Xiaofei Liao, Hai Jin 0001	A Data-Centric Tool to Improve the Performance of Multithreaded Program on NUMA.	ICA3PP (4)	2015	DBLP DOI BibTeX RDF
13	Junrui Zhou, Hong An, Yunyun Wang, Junshi Chen	Local State Reusing for Efficient Model Checking of Multithreaded Programs.	ICA3PP (4)	2015	DBLP DOI BibTeX RDF
13	Yiannis Kokkinos, Konstantinos G. Margaritis	Multithreaded Local Learning Regularization Neural Networks for Regression Tasks.	EANN	2015	DBLP DOI BibTeX RDF
13	Markus Kusano, Arijit Chattopadhyay, Chao Wang 0001	Dynamic Generation of Likely Invariants for Multithreaded Programs.	ICSE (1)	2015	DBLP DOI BibTeX RDF
13	Ang Li 0006, Y. C. Tay, Akash Kumar 0001, Henk Corporaal	Transit: A Visual Analytical Model for Multithreaded Machines.	HPDC	2015	DBLP DOI BibTeX RDF
13	Karthikeyan Vaidyanathan, Dhiraj D. Kalamkar, Kiran Pamnany, Jeff R. Hammond, Pavan Balaji, Dipankar Das 0002, Jongsoo Park, Bálint Joó	Improving concurrency and asynchrony in multithreaded MPI applications using software offloading.	SC	2015	DBLP DOI BibTeX RDF
13	Miguel Areias 0001, Ricardo Rocha 0001	Batched Evaluation of Full-Sharing Multithreaded Tabling.	SLATE	2015	DBLP DOI BibTeX RDF
13	Rolando Ingles, Piotr Perek, Mariusz Orlikowski, Andrzej Napieralski	A simple multithreaded C++ framework for high-performance data acquisition systems.	MIXDES	2015	DBLP DOI BibTeX RDF
13	Jaeyoung Yun, Jinsu Park, Woongki Baek	HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications.	DAC	2015	DBLP DOI BibTeX RDF
13	Alexander Tarvo	Automated Performance Modeling of Multithreaded Programs.		2015	RDF
13	Robert J. Halstead	Using Multithreaded Techniques to Mask Memory Latency on FPGA Accelerators.		2015	RDF
13	Hamid Mushtaq	Deterministic execution of multithreaded applications for reliability of multicore systems.		2015	RDF
13	Miguel Areias 0001	Multithreaded Tabling for Logic Programming		2015	RDF
13	Shahid H. Bokhari, Ümit V. Çatalyürek, Metin Nafi Gürcan	Massively multithreaded maxflow for image segmentation on the Cray XMT-2.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
13	Xing Hu 0001, Guihai Yan, Yu Hu 0001, Xiaowei Li 0001	Orchestrator: Guarding Against Voltage Emergencies in Multithreaded Applications.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
13	A. J. Umbarkar, Madhuri Satish Joshi, Wei-Chiang Hong	Multithreaded Parallel Dual Population Genetic Algorithm (MPDPGA) for unconstrained function optimizations on multi-core system.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
13	Kai Huang 0002, Min Yu 0006, Xiaomeng Zhang, Dan-dan Zheng, Siwen Xiu, Rongjie Yan, Kai Huang 0001, Zhili Liu, Xiaolang Yan	ILP Based Multithreaded Code Generation for Simulink Model.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
13	Tao Wang, Limin Shen, Chuan Ma	A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System.	KSII Trans. Internet Inf. Syst.	2014	DBLP DOI BibTeX RDF
13	Miao Ju, Hun Jung, Hao Che	A Performance Analysis Methodology for Multicore, Multithreaded Processors.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
13	Hao Che, Minh Nguyen 0003	Amdahl's law for multithreaded multicore processors.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
13	Michele Martone	Efficient multithreaded untransposed, transposed or symmetric sparse matrix-vector multiplication with the Recursive Sparse Blocks format.	Parallel Comput.	2014	DBLP DOI BibTeX RDF
13	R. Kalpana 0002, P. Thambidurai	A speedup technique for dynamic graphs using partitioning strategy and multithreaded approach.	J. King Saud Univ. Comput. Inf. Sci.	2014	DBLP DOI BibTeX RDF
13	Saehwa Kim	Synthesizing Multithreaded Code from Real-Time Object-Oriented Models via Schedulability-Aware Thread Derivation.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
13	Daniel Kimball, Elizabeth Michel, Paul Keltcher, Michael M. Wolf	Quantifying the Effect of Matrix Structure on Multithreaded Performance of the SpMV Kernel.	CoRR	2014	DBLP BibTeX RDF
13	Evgeny Vainer, Amiram Yehudai	Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software.	CoRR	2014	DBLP BibTeX RDF
13	Timothy G. Rogers, Mike O'Connor, Tor M. Aamodt	Learning your limit: managing massively multithreaded caches through scheduling.	Commun. ACM	2014	DBLP DOI BibTeX RDF
13	Basel A. Mahafzah	Performance evaluation of parallel multithreaded A* heuristic search algorithm.	J. Inf. Sci.	2014	DBLP DOI BibTeX RDF
13	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas	Static safety guarantees for a low-level multithreaded language with regions.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
13	Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl	A Widening Approach to Multithreaded Program Verification.	ACM Trans. Program. Lang. Syst.	2014	DBLP DOI BibTeX RDF
13	Javier Esparza, Pierre Ganty, Tomás Poch	Pattern-Based Verification for Multithreaded Programs.	ACM Trans. Program. Lang. Syst.	2014	DBLP DOI BibTeX RDF
13	Cícero Augusto de S. Camargo, Gerson G. H. Cavalheiro, Maurício L. Pilla, Simone André da Costa, Luciana Foss	Aproximating static list schedules in dynamic multithreaded applications.	Clust. Comput.	2014	DBLP DOI BibTeX RDF
13	Hamid Fadishei, Hossein Deldari, Mahmoud Naghibzadeh	Pre-execution power consumption prediction of computational multithreaded workloads.	Clust. Comput.	2014	DBLP DOI BibTeX RDF
13	Eduardo R. B. Marques, Francisco Martins, Miguel Simões	Cooperari: a tool for cooperative testing of multithreaded Java programs.	PPPJ	2014	DBLP DOI BibTeX RDF
13	Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza	Crosscheck: Hardening Replicated Multithreaded Services.	DSN	2014	DBLP DOI BibTeX RDF
13	Yuichi Tsujita, Kazumi Yoshinaga, Atsushi Hori, Mikiko Sato, Mitaro Namiki, Yutaka Ishikawa	Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System.	PDP	2014	DBLP DOI BibTeX RDF
13	Pawan Kumar	Multithreaded Direction Preserving Preconditioners.	ISPDC	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Multithreaded test synthesis for deadlock detection.	OOPSLA	2014	DBLP DOI BibTeX RDF
13	Tom Bergan, Dan Grossman, Luis Ceze	Symbolic execution of multithreaded programs from arbitrary program contexts.	OOPSLA	2014	DBLP DOI BibTeX RDF
13	Bruno D. Gouveia, David Portugal, Lino Marques	Speeding up rao-blackwellized particle filter SLAM with a multithreaded architecture.	IROS	2014	DBLP DOI BibTeX RDF
13	Samih Mohemmed Mostafa, Shigeru Kusakabe	Thread Weight Readjustment Scheduler: A Proportional Share CPU Scheduler for Multithreaded Processes.	IIAI-AAI	2014	DBLP DOI BibTeX RDF
13	Jian Fu, Qiang Yang 0006, Raphael Poss, Chris R. Jesshope, Chunyuan Zhang	A fault detection mechanism in a Data-flow scheduled Multithreaded processor.	DATE	2014	DBLP DOI BibTeX RDF
13	Giorgos Dimitrakopoulos, I. Seitanidis, Anastasios Psarras, K. Tsiouris, Pavlos M. Mattheakis, Jordi Cortadella	Hardware primitives for the synthesis of multithreaded elastic systems.	DATE	2014	DBLP DOI BibTeX RDF
13	Ahmed Alhammad, Rodolfo Pellizzoni	Time-predictable execution of multithreaded applications on multicore systems.	DATE	2014	DBLP DOI BibTeX RDF
13	Yuichi Tsujita, Atsushi Hori, Yutaka Ishikawa	Affinity-aware optimization of multithreaded two-phase I/O for high throughput collective I/O.	HPCS	2014	DBLP DOI BibTeX RDF
13	Jian Fu, Qiang Yang 0006, Raphael Poss, Chris R. Jesshope, Chunyuan Zhang	Rethread: A Low-Cost Transient Fault Recovery Scheme for Multithreaded Processors.	ARES	2014	DBLP DOI BibTeX RDF
13	Zhenzhou Tian, Qinghua Zheng, Ting Liu 0002, Ming Fan 0002, Xiaodong Zhang 0014, Zijiang Yang 0006	Plagiarism detection for multithreaded software based on thread-aware software birthmarks.	ICPC	2014	DBLP DOI BibTeX RDF
13	Marcelo Gomes Pereira de Lacerda, Fernando Buarque de Lima Neto	A Multithreaded Implementation of the Fish School Search Algorithm.	WIVACE	2014	DBLP DOI BibTeX RDF
13	Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis	Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.	CDC	2014	DBLP DOI BibTeX RDF
13	Aurélien Bouteiller, Thomas Hérault, George Bosilca	A Multithreaded Communication Substrate for OpenSHMEM.	PGAS	2014	DBLP DOI BibTeX RDF
13	Melanie Kambadur, Kui Tang, Martha A. Kim	ParaShares: Finding the Important Basic Blocks in Multithreaded Programs.	Euro-Par	2014	DBLP DOI BibTeX RDF
13	David Klaftenegger, Konstantinos Sagonas, Kjell Winblad	Delegation Locking Libraries for Improved Performance of Multithreaded Programs.	Euro-Par	2014	DBLP DOI BibTeX RDF
13	Stefano Drimon Kurz Mor, Jean-Louis Roch, Nicolas Maillard	Generic Deterministic Random Number Generation in Dynamic-Multithreaded Platforms.	Euro-Par	2014	DBLP DOI BibTeX RDF
13	Alexander Tarvo, Steven P. Reiss	Automated analysis of multithreaded programs for performance modeling.	SIGMETRICS	2014	DBLP DOI BibTeX RDF
13	Ibrahim M. Baggili, Andrew Marrington, Yasser Jafar	Performance of a Logical, Five- Phase, Multithreaded, Bootable Triage Tool.	IFIP Int. Conf. Digital Forensics	2014	DBLP DOI BibTeX RDF
13	Fredrik Manne, Mahantesh Halappanavar	New Effective Multithreaded Matching Algorithms.	IPDPS	2014	DBLP DOI BibTeX RDF
13	Haibo Zhang 0005, Wenting Han, Feng Li, Songtao He, Yichao Cheng, Hong An, Zhitao Chen	A Criticality-Aware DVFS Runtime Utility for Optimizing Power Efficiency of Multithreaded Applications.	IPDPS Workshops	2014	DBLP DOI BibTeX RDF
13	Kari Kähkönen, Keijo Heljanko	Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution.	ACSD	2014	DBLP DOI BibTeX RDF
13	To Tsui, Shangru Wu, Wing Kwong Chan	Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs.	InnoSWDev@SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Omen+: a precise dynamic deadlock detector for multithreaded Java libraries.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
13	Min Si, Antonio J. Peña, Pavan Balaji, Masamichi Takagi, Yutaka Ishikawa	MT-MPI: multithreaded MPI for many-core environments.	ICS	2014	DBLP DOI BibTeX RDF
13	Mingxing Tan, Bin Liu 0006, Steve Dai, Zhiru Zhang	Multithreaded pipeline synthesis for data-parallel kernels.	ICCAD	2014	DBLP DOI BibTeX RDF
13	Kari Kähkönen, Keijo Heljanko	Lightweight State Capturing for Automated Testing of Multithreaded Programs.	TAP@STAF	2014	DBLP DOI BibTeX RDF
13	A. Cristiano I. Malossi, Yves Ineichen, Constantine Bekas, Alessandro Curioni, Enrique S. Quintana-Ortí	Performance and Energy-Aware Characterization of the Sparse Matrix-Vector Multiplication on Multithreaded Architectures.	ICPP Workshops	2014	DBLP DOI BibTeX RDF
13	Lu Zhang 0035, Chao Wang 0001	Runtime prevention of concurrency related type-state violations in multithreaded applications.	ISSTA	2014	DBLP DOI BibTeX RDF
13	Kishore Kumar Pusukuri	Working Set Model for Multithreaded Programs.	TRIOS	2014	DBLP BibTeX RDF
13	Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein	Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.	PPDP	2014	DBLP DOI BibTeX RDF