Search results for "threads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
88	Gautham K. Dorai, Donald Yeung	Transparent Threads: Resource Sharing in SMT Processors for High Single-Thread Performance.	IEEE PACT	2002	DBLP DOI BibTeX RDF
82	Xiaotong Zhuang, Santosh Pande	Balancing register allocation across threads for a multithreaded network processor.	PLDI	2004	DBLP DOI BibTeX RDF	register allocation, network processor, multithreaded processor
79	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
69	Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette	Scheme fair threads.	PPDP	2004	DBLP DOI BibTeX RDF	concurrency, scheme, threads, functional languages
69	Luis Mateu, José M. Piquer	Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages.	SCCC	1999	DBLP DOI BibTeX RDF	Concurrency, object oriented programming, monitors, threads, safeness
68	Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar	Speculative thread decomposition through empirical optimization.	PPoPP	2007	DBLP DOI BibTeX RDF	empirical search, chip multiprocessor, decomposition, multi-core, thread-level speculation
66	Kenzo Van Craeynest, Stijn Eyerman, Lieven Eeckhout	MLP-Aware Runahead Threads in a Simultaneous Multithreading Processor.	HiPEAC	2009	DBLP DOI BibTeX RDF
66	Vineet Kahlon, Franjo Ivancic, Aarti Gupta	Reasoning About Threads Communicating via Locks.	CAV	2005	DBLP DOI BibTeX RDF
63	Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, Todd C. Mowry	Tolerating Dependences Between Large Speculative Threads Via Sub-Threads.	ISCA	2006	DBLP DOI BibTeX RDF
61	Bozhidar Dimitrov, Vernon Rego	Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Heterogeneous thread migration, compile-time code transformations, C++, user-level threads
60	Janghaeng Lee, Haicheng Wu, Madhumitha Ravichandran, Nathan Clark	Thread tailor: dynamically weaving threads together for efficient, adaptive parallel applications.	ISCA	2010	DBLP DOI BibTeX RDF	managed parallelism, threading, dynamic compilation
60	Yangchun Luo, Venkatesan Packirisamy, Wei-Chung Hsu, Antonia Zhai, Nikhil Mungre, Ankit Tarkas	Dynamic performance tuning for speculative threads.	ISCA	2009	DBLP DOI BibTeX RDF	parallelism, multicore, dynamic optimization, thread-level speculation
60	Wolfgang Küchlin	PARSAC-2: A Parallel SAC-2 Based on Threads.	AAECC	1990	DBLP DOI BibTeX RDF
59	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
58	Eduardo Rocha Rodrigues, Philippe Olivier Alexandre Navaux, Jairo Panetta, Celso L. Mendes	A new technique for data privatization in user-level threads and its use in parallel applications.	SAC	2010	DBLP DOI BibTeX RDF	MPI, TLS, privatization, user-level threads
56	Manoj Gupta 0001, Fermín Sánchez, Josep Llosa	Hybrid multithreading for VLIW processors.	CASES	2009	DBLP DOI BibTeX RDF	multithreading, clustered VLIW processors
54	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
54	Dirk Grunwald, Richard Neves	Whole-Program Optimization for Time and Space Efficient Threads.	ASPLOS	1996	DBLP DOI BibTeX RDF
52	Martin Gasbichler, Michael Sperber	Integrating User-Level Threads with Processes in Scsh.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	Unix, Scheme, threads, continuations
52	Marty Humphrey, John A. Stankovic	Predictable Threads for Dynamic, Hard Real-Time Environments.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	threads, Hard real-time systems, multiprocessing, real-time operating systems
52	Shuichi Oikawa, Hideyuki Tokuda	Efficient timing management for user-level real-time threads.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	efficient timing management, user-level real-time threads, specified time, upcalled user-level scheduler, user-level scheduler overhead, shared user-level timers, shared kernel/user structure, upcall performance, scheduling, performance evaluations, software engineering, real-time systems, resource allocation, timing, shared memory systems, kernel, processor scheduling, software performance evaluation, operating system kernels, hints, virtual processor
51	Francisco J. Cazorla, Alex Ramírez, Mateo Valero, Enrique Fernández	Dynamically Controlled Resource Allocation in SMT Processors.	MICRO	2004	DBLP DOI BibTeX RDF
51	Keith W. Smillie	The computer construction of weaving designs.	APL	1997	DBLP DOI BibTeX RDF	APL
51	Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy	Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.	SOSP	1991	DBLP DOI BibTeX RDF
50	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
49	Ork de Rooij, Cees G. M. Snoek, Marcel Worring	Query on demand video browsing.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	conceptual similarity, multi dimensional browsing, semantic threads, video retrieval, interactive search
49	Arun Rodrigues, Richard C. Murphy, Peter M. Kogge, Keith D. Underwood	Characterizing a new class of threads in scientific applications for high end supercomputers.	ICS	2004	DBLP DOI BibTeX RDF	compilers, multithreading
47	Polychronis Xekalakis, Nikolas Ioannou, Marcelo Cintra	Combining thread level speculation helper threads and runahead execution.	ICS	2009	DBLP DOI BibTeX RDF	multi-cores, thread-level speculation, helper threads, runahead execution
47	Tor M. Aamodt, Paul Chow	Optimization of data prefetch helper threads with path-expression based statistical modeling.	ICS	2007	DBLP DOI BibTeX RDF	optimization, multithreading, analytical modeling, data prefetch, path expressions, helper threads
47	Bozhidar Dimitrov, Vernon Rego	Arachne: A Portable Threads Library Supporting Migrant Threads on Heterogeneous Network Farms.	CANPC	1997	DBLP DOI BibTeX RDF
45	M. Aater Suleman, Moinuddin K. Qureshi, Yale N. Patt	Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs.	ASPLOS	2008	DBLP DOI BibTeX RDF	synchronization, CMP, bandwidth, multi-threaded
45	Jason Agron, Wesley Peck, Erik K. Anderson, David Andrews 0001, Ed Komp, Ron Sass, Fabrice Baijot, Jim Stevens	Run-Time Services for Hybrid CPU/FPGA Systems on Chip.	RTSS	2006	DBLP DOI BibTeX RDF
45	Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy	Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	multiprocessor, thread
43	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
43	Chen Lin 0001, Jiang-Ming Yang, Rui Cai, Xin-Jing Wang, Wei Wang 0009, Lei Zhang 0001	Modeling semantics and structure of discussion threads.	WWW	2009	DBLP DOI BibTeX RDF	reply reconstruction, sparse coding, threaded discussion
43	Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer	IPC Control for Multiple Real-Time Threads on an In-Order SMT Processor.	HiPEAC	2009	DBLP DOI BibTeX RDF
43	Bumyong Choi, Leo Porter 0001, Dean M. Tullsen	Accurate branch prediction for short threads.	ASPLOS	2008	DBLP DOI BibTeX RDF	chip multiprocessors, branch prediction
43	Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, Todd C. Mowry	CMP Support for Large and Dependent Speculative Threads.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	databases, Multiprocessor Systems, cache coherence, thread-level speculation
43	Weifeng Zhang 0003, Dean M. Tullsen, Brad Calder	Accelerating and Adapting Precomputation Threads for Effcient Prefetching.	HPCA	2007	DBLP DOI BibTeX RDF
43	Huaizhong Li, Chiou Peng Lam	Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.	TestCom	2005	DBLP DOI BibTeX RDF
43	Xiaoqing Bai, Chiou Peng Lam, Huaizhong Li	An Approach to Generate the Thin-Threads from the UML Diagrams.	COMPSAC	2004	DBLP DOI BibTeX RDF
43	Bernhard Haumacher, Thomas Moschny, Jürgen Reuter, Walter F. Tichy	Transparent Distributed Threads for Java.	IPDPS	2003	DBLP DOI BibTeX RDF
43	JoAnne Yates, Wanda J. Orlikowski, Stephanie L. Woerner	Virtual Organizing: Using Threads to Coordinate Distributed Work.	HICSS	2003	DBLP DOI BibTeX RDF
43	Munehiro Fukuda, Naoya Suzuki, Luís Miguel Campos, Shin-ya Kobayashi	Programmability and Performance of M++ Self-Migrating Threads.	CLUSTER	2001	DBLP DOI BibTeX RDF	Thread migraion, multi-agent systems, multi-threading, parallel and distributed simulation
43	Naoya Suzuki, Munehiro Fukuda, Lubomir Bic	Self-Migrating Threads for Multi-Agent Applications.	IWCC	1999	DBLP DOI BibTeX RDF	Multi-Agent Systems, Mobile Objects, Thread Migration
43	David S. Wise, Joshua Walgenbach	Static and Dynamic Partitioning of Pointers as Links and Threads.	ICFP	1996	DBLP DOI BibTeX RDF	tags, garbage collection, storage management, reference counting
41	Xavier Martorell, Jesús Labarta, Nacho Navarro, Eduard Ayguadé	Analysis of Several Scheduling Algorithms under the Nano-Thread Programming Model.	IPPS	1997	DBLP DOI BibTeX RDF	scheduling algorithm analysis, nano-threads programming model, dynamic processor allocation environment, uniform-sized chunking, guided self-scheduling, trapezoid self-scheduling, adaptable size chunking, automatic application decomposition, hierarchical task graph, source application, executable graph representation, user-level library, nano-threads library, user-level process, CPU manager, dynamic processor changes, processor scheduling, parallelizing compiler, parallel code
41	Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu, Leslie G. Valiant	Bulk synchronous parallel computing-a paradigm for transportable software.	HICSS (2)	1995	DBLP DOI BibTeX RDF	bulk synchronous parallel computing, transportable software, parallel software industry, architecture independent software, scalable performance, multiprocessor computers, H-BSP, transportable algorithms, Bulk Synchronous Parallel Model, parallel computational threads, computational threads, synchronization period, unbundled compiler technology, parallel algorithms, parallel programming, program compilers, software performance evaluation, software portability, BSP Model, parallel computing environment, parallel computer environment
41	Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
41	Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
41	Karsten Schwan, Hongyi Zhou	Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	hard real-time tasks, real-time threads, real-time multiprocessor operating system kernel, scheduling, real-time systems, computational complexity, timing constraints, dynamic scheduling, network operating systems, precedence constraints, preemptive scheduling, worst-case complexity
39	Pradipta De, Vijay Mann, Umang Mittaly	Handling OS jitter on multicore multithreaded systems.	IPDPS	2009	DBLP DOI BibTeX RDF
39	Onur Mutlu, Thomas Moscibroda	Stall-Time Fair Memory Access Scheduling for Chip Multiprocessors.	MICRO	2007	DBLP DOI BibTeX RDF
39	Beomjin Kim, Philip Johnson, Jason Baker	Empirical Evaluation of a Visual Interface for Exploring Message Boards.	ISVC (1)	2006	DBLP DOI BibTeX RDF
39	Alex Garthwaite, David Dice, Derek White	Supporting per-processor local-allocation buffers using lightweight user-level preemption notification.	VEE	2005	DBLP DOI BibTeX RDF	restartable critical sections, locality, memory allocation
39	Anasua Bhowmik, Manoj Franklin	A General Compiler Framework for Speculative Multithreaded Processors.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
39	Theo Ungerer, Borut Robic, Jurij Silc	A survey of processors with explicit multithreading.	ACM Comput. Surv.	2003	DBLP DOI BibTeX RDF	interleaved multithreading, simultaneous multithreading, Blocked multithreading
39	Benjamin J. Welch, Shobhit O. Kanaujia, Adarsh Seetharam, Deepaksrivats Thirumalai, Alexander G. Dean	Extending STI for demanding hard-real-time systems.	CASES	2003	DBLP DOI BibTeX RDF	AVR, NTSC video, STIGLitz, post-pass compiler, embedded systems, hardware-to-software migration, fine-grain concurrency, software thread integration
39	Mohamed M. Zahran, Manoj Franklin	Dynamic Thread Resizing for Speculative Multithreaded Processors.	ICCD	2003	DBLP DOI BibTeX RDF
39	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
39	Anasua Bhowmik, Manoj Franklin	A general compiler framework for speculative multithreading.	SPAA	2002	DBLP DOI BibTeX RDF	TLP compiler, thread formation, parallelization, data dependence, thread-level parallelism (TLP), control dependence, speculative multithreading (SpMT)
37	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Proving thread termination.	PLDI	2007	DBLP DOI BibTeX RDF	model checking, concurrency, formal verification, program verification, threads, termination
37	Keith L. Clark, Francis G. McCabe	Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	threads, agent programming, multi-paradigm programming
37	Bernd Dreier, Theo Ungerer	Implementing distributed shared memory based on DCE.	PDP	1995	DBLP DOI BibTeX RDF	DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment
37	Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer	Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.	TACAS	2009	DBLP DOI BibTeX RDF
37	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
37	Barry Kingsbury	Organizing processes and threads for debugging.	PADTAD	2007	DBLP DOI BibTeX RDF
37	Christopher Nitta, Raju Pandey, Yann Ramin	Y-Threads: Supporting Concurrency in Wireless Sensor Networks.	DCOSS	2006	DBLP DOI BibTeX RDF	Stack sharing, Concurrency, Multi-threading
37	Perry H. Wang, Jamison D. Collins, Hong Wang 0003, Dongkeun Kim, Bill Greene, Kai-Ming Chan, Aamir B. Yunus, Terry Sych, Stephen F. Moore, John Paul Shen	Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform.	ASPLOS	2004	DBLP DOI BibTeX RDF	DB2 database, cache miss prefetching, itanium processor, switch-on-event, multithreading, helper thread, PAL
37	Joshua Redstone, Susan J. Eggers, Henry M. Levy	Mini-Threads: Increasing TLP on Small-Scale SMT Processors.	HPCA	2003	DBLP DOI BibTeX RDF
37	Smaïl Niar, Mahamed Adda	Performances of a Dynamic Threads Scheduler.	Euro-Par	2001	DBLP DOI BibTeX RDF
37	Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar	Sequential and Distributed Simulations Using Java Threads.	PARELEC	2000	DBLP DOI BibTeX RDF
37	Xinan Tang, Guang R. Gao	Automatically Partitioning Threads Based on Remote Paths.	ICPADS	1998	DBLP DOI BibTeX RDF
35	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
35	Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter	Linguistic symbiosis between actors and threads.	ICDL	2007	DBLP DOI BibTeX RDF	AmbientTalk, linguistic symbiosis, events, threads, actors
35	Edward A. Lee	The Problem with Threads.	Computer	2006	DBLP DOI BibTeX RDF	Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages
35	Yejun Wu, Douglas W. Oard	Indexing emails and email threads for retrieval.	SIGIR	2005	DBLP DOI BibTeX RDF	indexing, retrieval, email, threads
35	J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer	Capriccio: scalable threads for internet services.	SOSP	2003	DBLP DOI BibTeX RDF	blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads
35	Richard J. Hanson, Clay P. Breshears, Henry A. Gabb	Algorithm 821: A Fortran interface to POSIX threads.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	POSIX Threads, symmetric multi-processor, Fortran, FORTRAN, Scientific computing, POSIX, Pthreads, mathematical software
35	William R. Dieter, James E. Lumpp Jr.	A User-Level Checkpointing Library for POSIX Threads Programs.	FTCS	1999	DBLP DOI BibTeX RDF	multithreaded, Unix, checkpointing, threads, rollback recovery, Solaris
35	Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda	Implementation and evaluation of real-time Java threads.	RTSS	1997	DBLP DOI BibTeX RDF	real-time Java threads, language specification, prototype real-time environment, unbounded priority inversion, security, performance evaluation, real-time systems, software reusability, object oriented language, distributed environments, software portability, real-time constraints, timing requirements, synchronization mechanism
35	Sangho Ha, Sangyong Han, Heunghwan Kim	Partitioning a lenient parallel language into sequential threads.	HICSS (2)	1995	DBLP DOI BibTeX RDF	lenient parallel language, language partitioning, sequential threads, multithreaded architecture performance, large-scale parallel system, split-phase memory operations, fast context switching, multithreaded code quality, enhanced thread formation scheme, Id/sup -/, long latency instructions, multiple switches, generalized switch-and-merge, thread merging, redundant arc elimination, thread precedence relations, control instructions, DAVRID multithreaded architecture, simulation, graph theory, parallel architectures, graph partitioning, switching, merging, parallel languages, large-scale systems, program control structures, branch instructions
34	Lukasz Ziarek	PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper.	JTRES	2010	DBLP DOI BibTeX RDF	prioirty inheritance protocol
34	Nobuyuki Yamasaki, Ikuo Magaki, Tsutomu Itou	Prioritized SMT Architecture with IPC Control Method for Real-Time Processing.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
34	Fengguang Song, Shirley Moore, Jack J. Dongarra	L2 Cache Modeling for Scientific Applications on Chip Multi-Processors.	ICPP	2007	DBLP DOI BibTeX RDF	cache performance modeling, architecture, chip multi-processor, multi-threaded programming
34	Virendra J. Marathe, Mark Moir, Nir Shavit	Composite Abortable Locks.	IPDPS	2006	DBLP DOI BibTeX RDF
34	Mohamed A. Gomaa, Chad Scarbrough, Irith Pomeranz, T. N. Vijaykumar	Transient-Fault Recovery for Chip Multiprocessors.	ISCA	2003	DBLP DOI BibTeX RDF
34	Amir Roth, Gurindar S. Sohi	A quantitative framework for automated pre-execution thread selection.	MICRO	2002	DBLP DOI BibTeX RDF
34	Jack L. Lo, Susan J. Eggers, Joel S. Emer, Henry M. Levy, Rebecca L. Stamm, Dean M. Tullsen	Converting Thread-Level Parallelism to Instruction-Level Parallelism via Simultaneous Multithreading.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	multiprocessors, multithreading, instruction-level parallelism, thread-level parallelism, simultaneous multithreading, cache interference
32	Greg Stitt, Frank Vahid	Thread warping: a framework for dynamic synthesis of thread accelerators.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	dynamic synthesis, thread warping, warp processing, FPGA, synthesis, multi-core, threads, just-in-time compilation
32	Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski	Real-time scheduling on multithreaded processors.	RTCSA	2000	DBLP DOI BibTeX RDF	core processor, real-time events, interrupt service threads, interrupt service routines, zero-cycle context switching, fixed priority preemptive, least laxity first, embedded systems, real-time scheduling, processor scheduling, system-on-a-chip, multi-threading, earliest deadline first, multithreaded processors
32	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
32	Martín Abadi, Gordon D. Plotkin	A model of cooperative threads.	POPL	2009	DBLP DOI BibTeX RDF	transaction, operational semantics, monad, denotational semantics
32	Alban Ponse, Mark van der Zwaag	Risk Assessment for One-Counter Threads.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	One-counter systems, Risk assessment, Reachability, Thread algebra
32	Tanausú Ramírez, Alex Pajuelo, Oliverio J. Santana, Mateo Valero	Runahead Threads to improve SMT performance.	HPCA	2008	DBLP DOI BibTeX RDF
32	Nikos Anastopoulos, Nectarios Koziris	Facilitating efficient synchronization of asymmetric threads on hyper-threaded processors.	IPDPS	2008	DBLP DOI BibTeX RDF
32	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
32	Jan A. Bergstra, Inge Bethke, Alban Ponse	Decision problems for pushdown threads.	Acta Informatica	2007	DBLP DOI BibTeX RDF
32	Boncheol Gu, Yongtae Kim, Junyoung Heo, Yookun Cho	Shared-stack cooperative threads.	SAC	2007	DBLP DOI BibTeX RDF	cooperative task management, multithread system, sensor operating systems, shared-stack, operating systems