Search results for "multithreaded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Nagesh B. Lakshminarayana, Jaekyu Lee, Hyesoon Kim	Age based scheduling for asymmetric multiprocessors.	SC	2009	DBLP DOI BibTeX RDF	age based scheduling, asymmetric multiprocessors, thread scheduling
15	Matteo Frigo, Pablo Halpern, Charles E. Leiserson, Stephen Lewin-Berlin	Reducers and other Cilk++ hyperobjects.	SPAA	2009	DBLP DOI BibTeX RDF	cilk++, hyperobject, reducer, cilk
15	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
15	Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
15	Enno Lübbers, Marco Platzner	A portable abstraction layer for hardware threads.	FPL	2008	DBLP DOI BibTeX RDF
15	Satoshi Yamada, Shigeru Kusakabe	Effect of context aware scheduler on TLB.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Diana Bautista, Julio Sahuquillo, Houcine Hassan, Salvador Petit, José Duato	A simple power-aware scheduling for multicore systems when running real-time applications.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Vicenç Beltran 0001, Jordi Torres, Eduard Ayguadé	Improving Web Server Performance Through Main Memory Compression.	ICPADS	2008	DBLP DOI BibTeX RDF
15	Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam	Dynamic recognition of synchronization operations for improved data race detection.	ISSTA	2008	DBLP DOI BibTeX RDF	synchronization and infeasible races, data races, record and replay
15	Jialin Dou, Marcelo H. Cintra	A compiler cost model for speculative parallelization.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	thread-level speculation, speculative multithreading, Speculative parallelization
15	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
15	Hojung Cha, Sukwon Choi, Inuk Jung, Hyoseung Kim 0001, Hyojeong Shin, Jaehyun Yoo, Chanmin Yoon	RETOS: resilient, expandable, and threaded operating system for wireless sensor networks.	IPSN	2007	DBLP DOI BibTeX RDF	wireless sensor network, operating systems, multithreading
15	Njuguna Njoroge, Jared Casper, Sewook Wee, Yuriy Teslyar, Daxia Ge, Christos Kozyrakis, Kunle Olukotun	ATLAS: a chip-multiprocessor with transactional memory support.	DATE	2007	DBLP DOI BibTeX RDF
15	Ta-Chung Tsai, Alejandro Russo, John Hughes 0001	A Library for Secure Multi-threaded Information Flow in Haskell.	CSF	2007	DBLP DOI BibTeX RDF
15	Jeremy S. Meredith, Sadaf R. Alam, Jeffrey S. Vetter	Analysis of a Computational Biology Simulation Technique on Emerging Processing Architectures.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Ryan E. Grant, Ahmad Afsahi	A Comprehensive Analysis of OpenMP Applications on Dual-Core Intel Xeon SMPs.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Thierry Gautier, Jean-Louis Roch, Frédéric Wagner	Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	distributed stack, work depth model, dataflow, work-stealing
15	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
15	William W. Pugh, Nathaniel Ayewah	Unit testing concurrent software.	ASE	2007	DBLP DOI BibTeX RDF	JUnit test cases, concurrent abstraction, multithreadedTC, java, testing framework
15	Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Vasileios Liaskovitis, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Todd C. Mowry, Chris Wilkerson	Scheduling threads for constructive cache sharing on CMPs.	SPAA	2007	DBLP DOI BibTeX RDF	constructive cache sharing, parallel depth first, thread granularity, working set profiling, chip multiprocessors, scheduling algorithms, work stealing
15	Bart Jacobs 0002, Peter Müller 0001, Frank Piessens	Sound reasoning about unchecked exceptions.	SEFM	2007	DBLP DOI BibTeX RDF
15	Giuliano Antoniol, Yann-Gaël Guéhéneuc	Feature Identification: An Epidemiological Metaphor.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Firefox and Mozilla Web browsers, static analysis, dynamic analysis, Program understanding, epidemiology, feature identification
15	Danny Nebenzahl, Shmuel Sagiv, Avishai Wool	Install-Time Vaccination of Windows Executables to Defend against Stack Smashing Attacks.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	Computer security, instrumentation, buffer overflow
15	William D. Gropp, Rajeev Thakur	Issues in Developing a Thread-Safe MPI Implementation.	PVM/MPI	2006	DBLP DOI BibTeX RDF
15	Wenlong Li, Eric Q. Li, Ran Meng, Tao Wang 0003, Carole Dulong	Performance analysis of Java concurrent programming: a case study of video mining system.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Kridsadakorn Chaichoompu, Surin Kittitornkun, Sissades Tongsima	MT-ClustalW: multithreading multiple sequence alignment.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Jeffrey Namkung, Dohyung Kim, Rajesh K. Gupta 0001, Igor Kozintsev, Jean-Yves Bouguet, Carole Dulong	Phase guided sampling for efficient parallel application simulation.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	phase analysis, simulation, sampling, chip multiprocessors, multithreading
15	Alejandro Russo, John Hughes 0001, David A. Naumann, Andrei Sabelfeld	Closing Internal Timing Channels by Transformation.	ASIAN	2006	DBLP DOI BibTeX RDF
15	Marc Tremblay	A modern high-performance processor pipeline.	ICS	2006	DBLP DOI BibTeX RDF
15	Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos	Lightweight lock-free synchronization methods for multithreading.	ICS	2006	DBLP DOI BibTeX RDF
15	Bernhard Fechner	A Fault-Tolerant Dynamic Fetch Policy for SMT Processors in Multi-Bus Environments.	PARELEC	2006	DBLP DOI BibTeX RDF
15	Richard A. Hankins, Gautham N. Chinya, Jamison D. Collins, Perry H. Wang, Ryan N. Rakvic, Hong Wang 0003, John Paul Shen	Multiple Instruction Stream Processor.	ISCA	2006	DBLP DOI BibTeX RDF
15	Seungryul Choi, Donald Yeung	Learning-Based SMT Processor Resource Distribution via Hill-Climbing.	ISCA	2006	DBLP DOI BibTeX RDF
15	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
15	Xiangrong Zhou, Peter Petrov	Rapid and low-cost context-switch through embedded processor customization for real-time and control applications.	DAC	2006	DBLP DOI BibTeX RDF
15	Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson	Provably Efficient Two-Level Adaptive Scheduling.	JSSPP	2006	DBLP DOI BibTeX RDF
15	Jeremy Manson, William W. Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
15	Bo Liang, Hong An, Fang Lu, Rui Guo	Improving Latency Tolerance of Network Processors Through Simultaneous Multithreading.	APPT	2005	DBLP DOI BibTeX RDF
15	Min Xu, Rastislav Bodík, Mark D. Hill	A serializability violation detector for shared-memory server programs.	PLDI	2005	DBLP DOI BibTeX RDF	multithreading, serializability, race conditions
15	Keki M. Burjorjee, Jordan B. Pollack	Theme preservation and the evolution of representation.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	evolution of representation, theme preservation, evolutionary algorithms
15	Tipp Moseley, Alex Shye, Vijay Janapa Reddi, Matthew Iyer, Dan Fay, David Hodgdon, Joshua L. Kihm, Alex Settle, Dirk Grunwald, Daniel A. Connors	Dynamic run-time architecture techniques for enabling continuous optimization.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	scheduling, profiling, multithreading, performance counters
15	Grace J. Hwang, Joseph Arul, Eric Lin, Chung-Yun Hung	Design and Multithreading Implementation of the Wave-Front Algorithm for Constructing Voronoi Diagrams.	ICA3PP	2005	DBLP DOI BibTeX RDF
15	Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili	Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
15	Jih-Fu Tu	Cache Management for Discrete Processor Architectures.	ISPA	2005	DBLP DOI BibTeX RDF	Discrete processor architectures, write-invalidate (WI) and cache block, multithreading, cache coherency, shared cache, memory latency
15	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPoPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
15	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Sequential Consistency.	ISCA	2005	DBLP DOI BibTeX RDF
15	Jialin Dou, Marcelo H. Cintra	Compiler Estimation of Load Imbalance Overhead in Speculative Parallelization.	IEEE PACT	2004	DBLP DOI BibTeX RDF
15	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
15	Lucian Codrescu, S. Nugent, James D. Meindl, D. Scott Wills	Modeling technology impact on cluster microprocessor performance.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
15	Radu Rugina, Martin C. Rinard	Pointer analysis for structured parallel programs.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Pointer analysis
15	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer	Thread-Modular Abstraction Refinement.	CAV	2003	DBLP DOI BibTeX RDF
15	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
15	Wolfgang Blochinger, Wolfgang Küchlin	The Design of an API for Strict Multithreading in C++.	Euro-Par	2003	DBLP DOI BibTeX RDF
15	Juan del Cuvillo, Xinmin Tian, Guang R. Gao, Milind Girkar	Performance Study of a Whole Genome Comparison Tool on a Hyper-Threading Multiprocessor.	ISHPC	2003	DBLP DOI BibTeX RDF
15	Raul Silaghi, Alfred Strohmeier, Jörg Kienzle	Porting OMTTs to CORBA.	OTM	2003	DBLP DOI BibTeX RDF	Object Transaction Service, OMTTs, Con-currency, CORBA, Transactions
15	Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita	Monitoring Threaded Application with Thread-Enabled OMIS Monitor.	PPAM	2003	DBLP DOI BibTeX RDF	performance analysis, monitoring, debugging, Multithreading, parallel tools
15	Jun Li 0008	Monitoring and Characterization of Component-Based Systems with Global Causality Capture.	ICDCS	2003	DBLP DOI BibTeX RDF
15	Eli Pozniansky, Assaf Schuster	Efficient on-the-fly data race detection in multihreaded C++ programs.	PPoPP	2003	DBLP DOI BibTeX RDF	concurrency, synchronization, multithreading, instrumentation, data race
15	Michael Factor, Assaf Schuster, Konstantin Shagin	JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations.	CLUSTER	2003	DBLP DOI BibTeX RDF
15	Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe	The Data Locality of Work Stealing.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
15	Ahmed Bouajjani, Tayssir Touili	Extrapolating Tree Transformations.	CAV	2002	DBLP DOI BibTeX RDF
15	Ronaldo Gonçalves, Philippe Olivier Alexandre Navaux	Improving SMT Performance Scheduling Processes.	PDP	2002	DBLP DOI BibTeX RDF	SMT architecture, performance evaluation, process scheduling
15	Vijay Murthi, David Levine, Behrooz A. Shirazi, Jeff Marquis	A Tool Based Methodology for Development of Automatically Scalable and Reusable Parallel Code.	MASCOTS	2002	DBLP DOI BibTeX RDF
15	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
15	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Thread-Modular Verification for Shared-Memory Programs.	ESOP	2002	DBLP DOI BibTeX RDF
15	Panit Watcharawitch, Simon W. Moore	JMA: The Java-Multithreading Architecture for Embedded Processors.	ICCD	2002	DBLP DOI BibTeX RDF
15	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	Fine-Grained Multithreading with Process Calculi.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	multithreading, abstract-machine, Process-calculus
15	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction
15	Sven Lämmermann, Enn Tyugu, Vladimir Vlassov	Concurrent Implementation of Structurally Synthesized Programs.	PaCT	2001	DBLP DOI BibTeX RDF
15	Stefanos Kaxiras, Girija J. Narlikar, Alan D. Berenbaum, Zhigang Hu	Comparing power consumption of an SMT and a CMP DSP for mobile phone workloads.	CASES	2001	DBLP DOI BibTeX RDF
15	Yudong Sun, Cho-Li Wang	A Distributed Object Model for Solving Irregularly Structured Problems on Cluster.	CLUSTER	2001	DBLP DOI BibTeX RDF	MOIDE, Irregularly structured problems, Distributed object, Heterogeneous cluster
15	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
15	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
15	Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi	Deterministic Replay of Distributed Java Applications.	IPDPS	2000	DBLP DOI BibTeX RDF	Java tools, network, debugging, distributed, threads, deterministic replay
15	Ernest Artiaga, Albert Serra, Marisa Gil	Porting multithreading libraries to an exokernel system.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF	CThreads, ExOS, Xok, exokernel, multiprocessor, multithreading
15	Patrick Crowley, Marc E. Fiuczynski, Jean-Loup Baer, Brian N. Bershad	Characterizing processor architectures for programmable network interfaces.	ICS	2000	DBLP DOI BibTeX RDF
15	Haitham Akkary, Sébastien Hily	The Case for Speculative Multithreading on SMT Processors.	ISHPC	2000	DBLP DOI BibTeX RDF
15	Hung-Chang Hsiao, Chung-Ta King	The Thread-Based Protocol Engines for CC-NUMA Multiprocessors.	ICPP	2000	DBLP DOI BibTeX RDF
15	Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran	Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation?	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
15	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
15	Lilia Yerosheva, Peter M. Kogge	Prototyping Execution Models for HTMT Petaflop Machine in Java.	CANPC	1999	DBLP DOI BibTeX RDF
15	Jianjun Zhao 0001	Slicing Concurrent Java Programs.	IWPC	1999	DBLP DOI BibTeX RDF	program comprehesion, Java, Concurrency, program slicing, dependence analysis
15	Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García	Building Tcl-Tk GUIs for HRT-HOOD systems.	SIGAda	1999	DBLP DOI BibTeX RDF	HRT-HOOD, Tcl-Tk, TAXIS, real time systems, user interfaces, Ada, Tcl
15	Mikhail N. Dorojevets	COOL Approach to Petaflops Computing (invited paper).	PaCT	1999	DBLP DOI BibTeX RDF
15	Mario Donato Marino, Geraldo Lino de Campos	A Preliminary Speedup Comparison between Two Scope Consistency DSM Systems: JIAJIA and Nautilus.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	distributed shared memory, DSM
15	Robert D. Blumofe, Matteo Frigo, Christopher F. Joerg, Charles E. Leiserson, Keith H. Randall	Dag-Consistent Distributed Shared Memory.	IPPS	1996	DBLP DOI BibTeX RDF	dag consistency, cactus stack, multithreading, distributed shared memory, dynamic scheduling, memory model, page faults
15	Sheng Li 0007, Shannon K. Kuntz, Jay B. Brockman, Peter M. Kogge	Lightweight Chip Multi-Threading (LCMT): Maximizing Fine-Grained Parallelism On-Chip.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	unlimited multithreading, multicore processors, Multithreaded processors, irregular applications
15	Huy T. Vo, João Luiz Dihl Comba, Berk Geveci, Cláudio T. Silva	Streaming-Enabled Parallel Data Flow Framework in the Visualization ToolKit.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Parallel dataflow, visualization pipeline, streaming, multithreaded, VTK
15	Stijn Eyerman, Lieven Eeckhout	Per-Thread Cycle Accounting.	IEEE Micro	2010	DBLP DOI BibTeX RDF	per-thread cycle accounting, multicore, system software, multithreaded architectures
15	Andrew D. Hilton, Santosh Nagarakatte, Amir Roth	iCFP: Tolerating All-Level Cache Misses in In-Order Processors.	IEEE Micro	2010	DBLP DOI BibTeX RDF	in-order processors, data cache misses, multithreaded execution, latency tolerance
15	Manoj Gupta 0001, Fermín Sánchez, Josep Llosa	CSMT: Simultaneous Multithreading for Clustered VLIW Processors.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	clustered VLIW architectures, ILP, simultaneous multithreading, multithreaded processors, VLIW architectures
15	Patrick Anthony La Fratta, Peter M. Kogge	Models for generating locality-tuned traveling threads for a hierarchical multi-level heterogeneous multicore.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	asymmetric multicore architectures, cache hierarchy design, locality-cognizant parallelization, migrant threads, multithreaded architectures
15	Anastasia Ailamaki	Database systems in the multicore era.	SPAA	2010	DBLP DOI BibTeX RDF	deep memory hierarchies, multithreaded storage management, multicore systems
15	Gregorio Quintana-Ortí, Enrique S. Quintana-Ortí, Robert A. van de Geijn, Field G. Van Zee, Ernie Chan	Programming matrix algorithms-by-blocks for thread-level parallelism.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	high-performance, libraries, Linear algebra, multithreaded architectures
15	Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita 0002	A continuation-based noninterruptible multithreading processor architecture.	J. Supercomput.	2009	DBLP DOI BibTeX RDF	Parallel processing, Multithreading, Processor architecture, Thread level parallelism, Multithreaded programming
15	Nathan R. Tallent, John M. Mellor-Crummey	Identifying Performance Bottlenecks in Work-Stealing Computations.	Computer	2009	DBLP DOI BibTeX RDF	Call path profiling, Multithreaded programming models, Performance analysis, Multicore processors, HPCToolkit
15	Terence Kelly, Yin Wang 0001, Stéphane Lafortune, Scott A. Mahlke	Eliminating Concurrency Bugs with Control Engineering.	Computer	2009	DBLP DOI BibTeX RDF	Multithreaded software, Discrete control theory, Software engineering, Parallel programming, Multicore processors, Control engineering
15	Shivali Agarwal, Ankur Narang, R. K. Shyamasundar	Distributed Scheduling of Parallel Hybrid Computations.	ISAAC	2009	DBLP DOI BibTeX RDF	Multithreaded Computation, Scheduling, Algorithm, Work Stealing
15	Min Shih, Yung-Feng Chiu, Ying-Chieh Chen, Chun-Fa Chang	Real-Time Ray Tracing with CUDA.	ICA3PP	2009	DBLP DOI BibTeX RDF	Ray Tracing, CUDA, Programmable Graphics Hardware, Multithreaded Architectures, GPU Computing
15	Aydin Buluç, Jeremy T. Fineman, Matteo Frigo, John R. Gilbert, Charles E. Leiserson	Parallel sparse matrix-vector and matrix-transpose-vector multiplication using compressed sparse blocks.	SPAA	2009	DBLP DOI BibTeX RDF	compressed sparse blocks, compressed sparse columns, compressed sparse rows, multithreaded algorithm, storage format, parallelism, sparse matrix, work, span, matrix transpose, matrix-vector multiplication