Search results for "threads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
17	Degui Feng, Guanjun Jiang, Tiefei Zhang, Wei Hu 0001, Tianzhou Chen, Mingteng Cao	SPMTM: A Novel ScratchPad Memory Based Hybrid Nested Transactional Memory Framework.	APPT	2009	DBLP DOI BibTeX RDF	synchronization, Chip multiprocessor, transactional memory, scratchpad memory
17	Geoffrey Chu, Christian Schulte 0001, Peter J. Stuckey	Confidence-Based Work Stealing in Parallel Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF
17	David Tarjan, Jiayuan Meng, Kevin Skadron	Increasing memory miss tolerance for SIMD cores.	SC	2009	DBLP DOI BibTeX RDF
17	Carlos Madriles, Pedro López 0001, Josep M. Codina, Enric Gibert, Fernando Latorre, Alejandro Martínez, Raúl Martínez, Antonio González 0001	Boosting single-thread performance in multi-core systems through fine-grain multi-threading.	ISCA	2009	DBLP DOI BibTeX RDF	core-fusion, single-thread performance, multicore, automatic parallelization, thread-level parallelism, speculative multithreading
17	Dongsoo Kang, Chen Liu 0001, Jean-Luc Gaudiot	The Impact of Speculative Execution on SMT Processors.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Speculation control, Simultaneous multithreading, Thread scheduling, Confidence estimator
17	Joseph J. Sharkey, Jason Loew, Dmitry V. Ponomarev	Reducing register pressure in SMT processors through L2-miss-driven early register release.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register file, Simultaneous multithreading
17	Huaping Wang, Israel Koren, C. Mani Krishna 0001	An adaptive resource partitioning algorithm for SMT processors.	PACT	2008	DBLP DOI BibTeX RDF	simultaneous multithreading, resource partitioning
17	Emre Özer 0001, Ronald G. Dreslinski, Trevor N. Mudge, Stuart Biles, Krisztián Flautner	Energy-Efficient Simultaneous Thread Fetch from Different Cache Levels in a Soft Real-Time SMT Processor.	SAMOS	2008	DBLP DOI BibTeX RDF	Real-time, Energy Efficiency, Caches, Embedded Processors, SMT
17	Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv	Thread Quantification for Concurrent Shape Analysis.	CAV	2008	DBLP DOI BibTeX RDF
17	Tobias Hilbrich, Matthias S. Müller, Bettina Krammer	Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications.	IWOMP	2008	DBLP DOI BibTeX RDF
17	Easwaran Raman, Neil Vachharajani, Ram Rangan, David I. August	Spice: speculative parallel iteration chunk execution.	CGO	2008	DBLP DOI BibTeX RDF	automatic paralleization, thread level parallelism, multicore architectures, speculative parallelization, value speculation
17	Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August	Parallel-stage decoupled software pipelining.	CGO	2008	DBLP DOI BibTeX RDF	doall, dswp, tlp, automatic parallelization, multi-core architectures, pipelined parallelism
17	Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar	A Static Characterization of Affinity in a Distributed Program.	HPCC	2008	DBLP DOI BibTeX RDF
17	Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma	Static Detection of Place Locality and Elimination of Runtime Checks.	APLAS	2008	DBLP DOI BibTeX RDF
17	Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai	Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection.	ISPASS	2008	DBLP DOI BibTeX RDF
17	Hung-Khoon Tan, Chong-Wah Ngo, Xiao Wu 0001	Modeling video hyperlinks with hypergraph for web video reranking.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	higher order relation, web video reranking, hypergraph
17	Sevin Fide, Stephen F. Jenks	Architecture optimizations for synchronization and communication on chip multiprocessors.	IPDPS	2008	DBLP DOI BibTeX RDF
17	Roy Krischer, Peter A. Buhr	Asynchronous exception propagation in blocked tasks.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	asynchronous exceptions, resumption, exception handling
17	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
17	Christophe Cérin, Hazem Fkaier, Mohamed Jemni	Experimental Study of Thread Scheduling Libraries on Degraded CPU.	ICPADS	2008	DBLP DOI BibTeX RDF
17	Martin Burtscher, Milind Kulkarni 0001, Dimitrios Prountzos, Keshav Pingali	On the Scalability of an Automatically Parallelized Irregular Application.	LCPC	2008	DBLP DOI BibTeX RDF	sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement
17	Claude Évéquoz	Non-Blocking Concurrent FIFO Queues with Single Word Synchronization Primitives.	ICPP	2008	DBLP DOI BibTeX RDF
17	Juan Carlos Saez, José Ignacio Gómez, Manuel Prieto 0001	Improving Priority Enforcement via Non-Work-Conserving Scheduling.	ICPP	2008	DBLP DOI BibTeX RDF
17	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
17	Kanupriya Gulati, Sunil P. Khatri	Towards acceleration of fault simulation using graphics processing units.	DAC	2008	DBLP DOI BibTeX RDF	graphics processing units, fault simulation
17	Steve Vinoski	Concurrency with Erlang.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	Toward Integration, middleware, concurrency, programming language, Erlang
17	Osmar Marchi dos Santos, Andy J. Wellings	Cost enforcement in the real-time specification for Java.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Fault-tolerance, Model checking, Real-time specification for Java, Java programming language
17	Jan A. Bergstra, Cornelis A. Middelburg	Synchronous cooperation for explicit multi-threading.	Acta Informatica	2007	DBLP DOI BibTeX RDF
17	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
17	Alan Morris, Allen D. Malony, Sameer Shende	Supporting Nested OpenMP Parallelism in the TAU Performance System.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	TAU, OpenMP, Nested parallelism
17	Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August	Speculative Decoupled Software Pipelining.	PACT	2007	DBLP DOI BibTeX RDF
17	Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra	Latency Hiding in Multi-Threading and Multi-Processing of Network Applications.	PACT	2007	DBLP DOI BibTeX RDF
17	Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen	On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
17	Javier Alonso 0001, Jordi Guitart, Jordi Torres	Differentiated Quality of Service for e-Commerce Applications through Connection Scheduling based on System-Level Thread Priorities.	PDP	2007	DBLP DOI BibTeX RDF
17	Rajeev Thakur, William Gropp	Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE.	PVM/MPI	2007	DBLP DOI BibTeX RDF
17	Jinquan Dai, Long Li, Bo Huang 0002	Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors.	CGO	2007	DBLP DOI BibTeX RDF
17	Cheng Wang 0013, Ho-Seop Kim, Youfeng Wu, Victor Ying	Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection.	CGO	2007	DBLP DOI BibTeX RDF
17	Hongtao Zhong, Steven A. Lieberman, Scott A. Mahlke	Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications.	HPCA	2007	DBLP DOI BibTeX RDF
17	Zhibin Zhang, Li Guo 0001, Binxing Fang, Xiaojun Chen 0004	Parallelizing Protocol Processing on SMT Processor Efficiently: A FSM Decomposition Approach.	IPCCC	2007	DBLP DOI BibTeX RDF
17	Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun	Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.	GPC	2007	DBLP DOI BibTeX RDF	OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
17	Philip Garcia, Henry F. Korth	Pipelined hash-join on multithreaded architectures.	DaMoN	2007	DBLP DOI BibTeX RDF
17	Barbara M. Chapman	The Multicore Programming Challenge.	APPT	2007	DBLP DOI BibTeX RDF
17	Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen	On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures.	SEUS	2007	DBLP DOI BibTeX RDF
17	Joseph J. Sharkey, Dmitry V. Ponomarev	An L2-miss-driven early register deallocation for SMT processors.	ICS	2007	DBLP DOI BibTeX RDF	register files, simultaneous multithreading
17	Peter Dawson, Geoffrey T. Parks, Daniel Jaeggi, Arturo Molina-Cristobal, P. John Clarkson	The Development of a Multi-threaded Multi-objective Tabu Search Algorithm.	EMO	2007	DBLP DOI BibTeX RDF
17	Kyle J. Nesbit, James Laudon, James E. Smith 0001	Virtual private caches.	ISCA	2007	DBLP DOI BibTeX RDF	quality of service, chip multiprocessor, soft real-time, shared caches, performance isolation
17	Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott	An integrated hardware-software approach to flexible transactional memory.	ISCA	2007	DBLP DOI BibTeX RDF	RSTM, multiprocessors, transactional memory, cache coherence
17	Karthik Channakeshava, Binoy Ravindran, E. Douglas Jensen	Utility Accrual Channel Establishment in Multihop Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Real-time systems, multihop networks, time/utility functions, real-time channels
17	Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero	Predictable Performance in SMT Processors: Synergy between the OS and SMTs.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	real time, operating systems, performance predictability, ILP, thread-level parallelism, simultaneous multithreading, Multithreaded processors
17	R. M. Muthukumar, D. Janakiram	Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	on-the-fly garbage collection, Java, programming languages, Garbage collection, memory management, Java virtual machine
17	Umakishore Ramachandran, Kathleen Knobe, Nissim Harel, Hasnain A. Mandviwala	Distributed Garbage Collection Algorithms for Timestamped Data.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	logical timestamps, performance evaluation, ubiquitous computing, Garbage collection, cluster computing, multimedia systems, distributed programming, virtual time, soft real-time systems
17	Ilya Ganusov, Martin Burtscher	Efficient emulation of hardware prefetchers via event-driven helper threading.	PACT	2006	DBLP DOI BibTeX RDF	prefetching, multi-core architectures, helper threading
17	Venkatesan Packirisamy, Shengyue Wang, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew	Supporting Speculative Multithreading on Simultaneous Multithreaded Processors.	HiPC	2006	DBLP DOI BibTeX RDF
17	Evangelia Athanasaki, Nikos Anastopoulos, Kornilios Kourtis, Nectarios Koziris	Exploring the Capacity of a Modern SMT Architecture to Deliver High Scientific Application Performance.	HPCC	2006	DBLP DOI BibTeX RDF
17	Hou Rui, Longbing Zhang, Weiwu Hu	A Hybrid Hardware/Software Generated Prefetching Thread Mechanism on Chip Multiprocessors.	Euro-Par	2006	DBLP DOI BibTeX RDF
17	Erez Perelman, Marzia Polito, Jean-Yves Bouguet, Jack Sampson, Brad Calder, Carole Dulong	Detecting phases in parallel applications on shared memory architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
17	Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp, Ron Sass, David Andrews 0001	Enabling a Uniform Programming Model Across the Software/Hardware Boundary.	FCCM	2006	DBLP DOI BibTeX RDF
17	Myra B. Cohen, Shiu Beng Kooi, Witawas Srisa-an	Clustering the heap in multi-threaded applications for improved garbage collection.	GECCO	2006	DBLP DOI BibTeX RDF	heap clustering, virtual machines, garbage collection, hill climbing, search based software engineering
17	Gengbin Zheng, Laxmikant V. Kalé, Orion Sky Lawlor	Multiple Flows of Control in Migratable Parallel Programs.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
17	Jung-Guk Kim, Moon-hae Kim, Shin Heu	Architectures and Functions of the TMO Kernels for Ubiquitous and Embedded Real-Time Distributed Computing.	UIC	2006	DBLP DOI BibTeX RDF
17	Greg Hoover, Forrest Brewer, Timothy Sherwood	A case study of multi-threading in the embedded space.	CASES	2006	DBLP DOI BibTeX RDF	multi-threading, embedded architecture
17	Joseph J. Sharkey, Dmitry Ponomarev 0001	Balancing ILP and TLP in SMT Architectures through Out-of-Order Instruction Dispatch.	ICPP	2006	DBLP DOI BibTeX RDF
17	Jung Ho Ahn, Mattan Erez, William J. Dally	Architecture - The design space of data-parallel memory systems.	SC	2006	DBLP DOI BibTeX RDF
17	Lisa R. Hsu, Ravishankar R. Iyer 0001, Srihari Makineni, Steven K. Reinhardt, Donald Newell	Exploring the cache design space for large scale CMPs.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
17	James Burns, Jean-Luc Gaudiot	Area and System Clock Effects on SMT/CMP Throughput.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	layout area estimation, microarchitecture trade off, processor architecture, SMT
17	Joshua L. Kihm, Daniel A. Connors	Statistical Simulation of Multithreaded Architectures.	MASCOTS	2005	DBLP DOI BibTeX RDF
17	Dong-Hwan Park, Tai-Yeon Ku, Kyeong-Deok Moon	Data Broadcasting Software Architecture supporting Real-Time Caching and Monitoring in Interactive TV.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
17	Jahangir Hasan, Ankit Jalote, T. N. Vijaykumar, Carla E. Brodley	Heat Stroke: Power-Density-Based Denial of Service in SMT.	HPCA	2005	DBLP DOI BibTeX RDF
17	Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson	Permission accounting in separation logic.	POPL	2005	DBLP DOI BibTeX RDF	concurrency, logic, separation, permissions
17	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
17	Yun Zhang, Michael Voss	Runtime Empirical Selection of Loop Schedulers on Hyperthreaded SMPs.	IPDPS	2005	DBLP DOI BibTeX RDF
17	Razali Jidin, David Andrews 0001, Wesley Peck, Dan Chirpich, Kevin Stout, John M. Gauch	Evaluation of the Hybrid Multithreading Programming Model using Image Processing Transforms.	IPDPS	2005	DBLP DOI BibTeX RDF
17	H. Peter Hofstee, Michael N. Day	Hardware and software architectures for the CELL processor.	CODES+ISSS	2005	DBLP DOI BibTeX RDF
17	Björn Engdahl, Malin Köksal, Gary Marsden	Using treemaps to visualize threaded discussion forums on PDAs.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	mobile device, treemap, small screens, discussion forum
17	Siddhartha Shivshankar, Sunil Vangara, Alexander G. Dean	Balancing register pressure and context-switching delays in ASTI systems.	CASES	2005	DBLP DOI BibTeX RDF	asynchronous software thread integration, software-implemented-communication protocols, hardware to software migration, fine-grain concurrency
17	Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
17	Fredrik Warg, Per Stenström	Reducing misspeculation overhead for module-level speculative execution.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	misspeculation prediction, module-level parallelism, performance evaluation, chip multiprocessors, thread-level speculation
17	Rajkishore Barik	Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs.	LCPC	2005	DBLP DOI BibTeX RDF
17	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Application of design for verification with concurrency controllers to air traffic control software.	ASE	2005	DBLP DOI BibTeX RDF	model checking, synchronization, design patterns, interfaces, concurrent programming
17	Jan A. Bergstra, Cornelis A. Middelburg	A Thread Algebra with Multi-level Strategic Interleaving.	CiE	2005	DBLP DOI BibTeX RDF
17	Carmelo Acosta, Ayose Falcón, Alex Ramírez, Mateo Valero	A Complexity-Effective Simultaneous Multithreading Architecture.	ICPP	2005	DBLP DOI BibTeX RDF	Complexity-Effective, Heterogeneity-Awareness, Mapping Policies, Clustering, CMP, SMT
17	Jisheng Zhao, Ian Rogers, Chris C. Kirkham, Ian Watson	Loop Parallelisation for the Jikes RVM.	PDCAT	2005	DBLP DOI BibTeX RDF
17	Pedro Marcuello, Antonio González 0001, Jordi Tubella	Thread Partitioning and Value Prediction for Exploiting Speculative Thread-Level Parallelism.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Speculative thread-level parallelism, thread spawning policies, branch prediction, value prediction, clustered architectures
17	Seongbeom Kim, Dhruba Chandra, Yan Solihin	Fair Cache Sharing and Partitioning in a Chip Multiprocessor Architecture.	IEEE PACT	2004	DBLP DOI BibTeX RDF
17	Ram Rangan, Neil Vachharajani, Manish Vachharajani, David I. August	Decoupled Software Pipelining with the Synchronization Array.	IEEE PACT	2004	DBLP DOI BibTeX RDF
17	Karthik Channakeshava, Binoy Ravindran	On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks.	ISORC	2004	DBLP DOI BibTeX RDF
17	Eric Tune, Rakesh Kumar 0002, Dean M. Tullsen, Brad Calder	Balanced Multithreading: Increasing Throughput via a Low Cost Multithreading Hierarchy.	MICRO	2004	DBLP DOI BibTeX RDF
17	Jared C. Smolens, Jangwoo Kim, James C. Hoe, Babak Falsafi	Efficient Resource Sharing in Concurrent Error Detecting Superscalar Microarchitectures.	MICRO	2004	DBLP DOI BibTeX RDF
17	Ayose Falcón, Alex Ramírez, Mateo Valero	A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors.	HPCA	2004	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
17	Stephen Gilmore	Extending Camelot with Mutable State and Concurrency.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Mohamed A. Gomaa, Michael D. Powell, T. N. Vijaykumar	Heat-and-run: leveraging SMT and CMP to manage power density through the operating system.	ASPLOS	2004	DBLP DOI BibTeX RDF	CMP, migration, SMT, heat, power density
17	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
17	Chulho Shin, Seong-Won Lee, Jean-Luc Gaudiot	Dynamic Scheduling Issues in SMT Architectures.	IPDPS	2003	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
17	Yen-Teh Hsia	Curricular Automata and Their Applications.	ICALT	2003	DBLP DOI BibTeX RDF
17	Peng-Sheng Chen, Ming-Yu Hung, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Compiler support for speculative multithreading architecture with probabilistic points-to analysis.	PPoPP	2003	DBLP DOI BibTeX RDF	probabilistic points-to analysis, parallelization, dependence analysis, speculative multithreading
17	Pentti Huttunen, Jouni Ikonen, Jari Porras	MPIT - Communication/Computation Paradigm for Networks of SMP Workstations.	PARA	2002	DBLP DOI BibTeX RDF