Search results for "threading"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Yu Liu 0041, King Ngi Ngan, Feng Wu	3-D direction aligned wavelet transform for scalable video coding.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Jiaqi Zhang, Zhiyi Huang 0001, Wenguang Chen, Qihang Huang, Weimin Zheng	Maotai: View-Oriented Parallel Programming on CMT Processors.	ICPP	2008	DBLP DOI BibTeX RDF
9	Thomas M. DuBois, Bryant C. Lee, Yi Wang, Marc Olano, Uzi Vishkin	XMT-GPU: A PRAM Architecture for Graphics Computation.	ICPP	2008	DBLP DOI BibTeX RDF
9	Guomeng Wang, Yanping Zhao	A fast algorithm for data erasure.	ISI	2008	DBLP DOI BibTeX RDF
9	Timothée Cour, Chris Jordan, Eleni Miltsakaki, Ben Taskar	Movie/Script: Alignment and Parsing of Video and Text Transcription.	ECCV (4)	2008	DBLP DOI BibTeX RDF
9	Carolina Bonacic, Carlos García 0001, Mauricio Marín, Manuel Prieto 0001, Francisco Tirado, Cesar Vicente	Improving Search Engines Performance on Multithreading Processors.	VECPAR	2008	DBLP DOI BibTeX RDF
9	Deepa Kannan, Aseem Gupta, Aviral Shrivastava, Nikil D. Dutt, Fadi J. Kurdahi	PTSMT: A Tool for Cross-Level Power, Performance, and Thermal Exploration of SMT Processors.	VLSI Design	2008	DBLP DOI BibTeX RDF
9	Chia-Jui Hsu, José Luis Pino, Shuvra S. Bhattacharyya	Multithreaded simulation for synchronous dataflow graphs.	DAC	2008	DBLP DOI BibTeX RDF	multithreaded simulation, scheduling, synchronous dataflow
9	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
9	Li Zhao 0002, Laxmi N. Bhuyan, Ravi R. Iyer 0001, Srihari Makineni, Donald Newell	Hardware Support for Accelerating Data Movement in Server Platform.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Copy engine, performance evaluation, TCP/IP, hardware acceleration, servers
9	Yu Liu 0041, Feng Wu, King Ngi Ngan	3-D Object-Based Scalable Wavelet Video Coding With Boundary Effect Suppression.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
9	Alessandro Ricci, Mirko Viroli	simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.	PPPJ	2007	DBLP DOI BibTeX RDF	agents & artifacts, simpA, concurrent programming
9	Qin Wang, Junpu Chen, Weihua Zhang, Min Yang 0002, Binyu Zang	Optimizing software cache performance of packet processing applications.	LCTES	2007	DBLP DOI BibTeX RDF	optimization, network processor, local memory
9	Georgiana Macariu, Marc Frîncu, Alexandru Cârstea, Dana Petcu, Andrei Eckstein	Redesigning Parallel Symbolic Computations Packages.	PACT	2007	DBLP DOI BibTeX RDF
9	Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August	Speculative Decoupled Software Pipelining.	PACT	2007	DBLP DOI BibTeX RDF
9	Mauri Kuorilehto, Timo Alho, Marko Hännikäinen, Timo D. Hämäläinen	SensorOS: A New Operating System for Time Critical WSN Applications.	SAMOS	2007	DBLP DOI BibTeX RDF
9	Francisco J. Cazorla, Enrique Fernández, Peter M. W. Knijnenburg, Alex Ramírez, Rizos Sakellariou, Mateo Valero	On the Problem of Minimizing Workload Execution Time in SMT Processors.	ICSAMOS	2007	DBLP DOI BibTeX RDF
9	Bo Wu 0001, Vivek Kumar Singh 0004, Cheng-Hao Kuo, Li Zhang, Sung Chun Lee, Ramakant Nevatia	CLEAR'07 Evaluation of USC Human Tracking System for Surveillance Videos.	CLEAR	2007	DBLP DOI BibTeX RDF
9	Ding Zhou, Isaac G. Councill, Hongyuan Zha, C. Lee Giles	Discovering Temporal Communities from Social Network Documents.	ICDM	2007	DBLP DOI BibTeX RDF
9	Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	Accurate Application-Specific Sandboxing for Win32/Intel Binaries.	IAS	2007	DBLP DOI BibTeX RDF
9	Xingchen Chu, Krishna Nadiminti, Chao Jin, Srikumar Venugopal, Rajkumar Buyya	Aneka: Next-Generation Enterprise Grid Platform for e-Science and e-Business Applications.	eScience	2007	DBLP DOI BibTeX RDF
9	Xiaohong Qiu, Geoffrey C. Fox, Huapeng Yuan, Seung-Hee Bae, George Chrysanthakopoulos, Henrik Frystyk Nielsen	High Performance Multi-paradigm Messaging Runtime Integrating Grids and Multicore Systems.	eScience	2007	DBLP DOI BibTeX RDF
9	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF
9	Bo Yang 0013, Hao Wang, Liang Liu 0010, Qian Ma, Ying Chen 0004, Hui Lei 0001	Research and Implementation of Knowledge-Enhanced Information Services.	ICSOC	2007	DBLP DOI BibTeX RDF	configuration management database, information services, IT service management, knowledge database
9	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.	ICATPN	2007	DBLP DOI BibTeX RDF	GreatSPN, Distributed Model Checking, Symbolic Reachability Graph
9	Samuel Thibault, François Broquedis, Brice Goglin, Raymond Namyst, Pierre-André Wacrenier	An Efficient OpenMP Runtime System for Hierarchical Architectures.	IWOMP	2007	DBLP DOI BibTeX RDF	Hierarchical Thread Scheduling, Multi-Core, OpenMP, SMP, NUMA, Bubbles, Nested Parallelism
9	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
9	Hong Min, Sangho Yi, Yookun Cho, Jiman Hong	An efficient dynamic memory allocator for sensor operating systems.	SAC	2007	DBLP DOI BibTeX RDF	sensor networks, operating system, memory management, dynamic memory allocation
9	Hiren D. Patel, Sandeep K. Shukla	Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.	DATE	2007	DBLP DOI BibTeX RDF
9	Paolo Destro, Franco Fummi, Graziano Pravadelli	A smooth refinement flow for co-designing HW and SW threads.	DATE	2007	DBLP DOI BibTeX RDF
9	Prashant Jain, Michael Kircher	Pattern Oriented Software Architecture: Patterns for Resource Management.	WICSA	2007	DBLP DOI BibTeX RDF
9	Christopher Ostler, Karam S. Chatha, Goran Konjevod	Approximation Algorithm for Process Mapping on Network Processor Architectures.	ASP-DAC	2007	DBLP DOI BibTeX RDF	Intel IXP2400 architecture, programmable network processor architectures, symmetric multiprocessing, automated system-level design, NP-complete problem, process mapping, polynomial time approximation algorithm, block multithreading
9	Alessandro Ricci, Mirko Viroli, Giulio Piancastelli	simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications.	LADS	2007	DBLP DOI BibTeX RDF
9	Gabriel Mateescu	Overcoming the processor communication overhead in MPI applications.	SpringSim (2)	2007	DBLP BibTeX RDF
9	Masato Yoshimi, Yow Iwaoka, Yuri Nishikawa, Toshinori Kojima, Yasunori Osana, Akira Funahashi, Noriko Hiroi, Yuichiro Shibata, Naoki Iwanaga, Hideki Yamada, Hiroaki Kitano, Hideharu Amano	FPGA Implementation of a Data-Driven Stochastic Biochemical Simulator with the Next Reaction Method.	FPL	2007	DBLP DOI BibTeX RDF
9	Shi-Yong Neo, Yuanyuan Ran, Hai-Kiat Goh, Yantao Zheng, Tat-Seng Chua, Jintao Li 0001	The use of topic evolution to help users browse and find answers in news video corpus.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	event evolution, video question answering, video analysis
9	Richard T. Saunders, Clinton L. Jeffery, Derek T. Jones	A Portable Framework for High-Speed Parallel Producer/Consumers on Real CMP, SMT and SMP Architectures.	IPDPS	2007	DBLP DOI BibTeX RDF
9	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg	IibDMC: a Library to Operate Efficient Distributed Model Checking.	IPDPS	2007	DBLP DOI BibTeX RDF
9	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel	Model checking service compositions under resource constraints.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, validation, BPEL4WS, resource modelling
9	Vladimir Vlassov, Oscar Sierra Merino, Csaba Andras Moritz, Konstantin Popov	Support for Fine-Grained Synchronization in Shared-Memory Multiprocessors.	PaCT	2007	DBLP DOI BibTeX RDF
9	Xiao Wu 0001, Wanlei Zhao, Chong-Wah Ngo	Efficient Near-Duplicate Keyframe Retrieval with Visual Language Models.	ICME	2007	DBLP DOI BibTeX RDF
9	Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya	Fuce: the continuation-based multithreading processor.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	continuation-based multithread programming, multithreading, thread-level parallelism, chip multi-processor
9	Joonhyuk Yoo, Manoj Franklin	Prioritizing verification via value-based correctness criticality.	ICCD	2007	DBLP DOI BibTeX RDF
9	Sachoun Park, Gihwon Kwon	SAT based Verification Tool for Labeled Transition System.	SERA	2007	DBLP DOI BibTeX RDF	Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic
9	Philipp Haller, Martin Odersky	Actors That Unify Threads and Events.	COORDINATION	2007	DBLP DOI BibTeX RDF
9	Mahmood Ahmadi, Stephan Wong	A Cache Architecture for Counting Bloom Filters.	ICON	2007	DBLP DOI BibTeX RDF
9	Georgiana Macariu, Dana Petcu	Parallel Multiple Polynomial Quadratic Sieve on Multi-Core Architectures.	SYNASC	2007	DBLP DOI BibTeX RDF
9	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
9	Linzhi Ning, Wenbin Yao, Jun Ni, Nianmin Yao	Fault-Tolerance CMP Architecture based on SMT Technology.	IMSCCS	2007	DBLP DOI BibTeX RDF	fault tolerance, CMP, thread, SMT
9	Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel	Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.	ICSE Companion	2007	DBLP DOI BibTeX RDF
9	Robert A. Tefft, Roger Y. Lee	Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism.	QSIC	2007	DBLP DOI BibTeX RDF
9	Lixia Liu, Xiao-Feng Li, Michael K. Chen, Roy Dz-Ching Ju	A Throughput-Driven Task Creation and Mapping for Network Processors.	HiPEAC	2007	DBLP DOI BibTeX RDF	Intel IXP, Task Creation and Mapping, Throughput, Network Processors, Dataflow Programming
9	Preetam Ghosh, Nirmalya Roy, Kalyan Basu, Sajal K. Das 0001, Paul Wilson, Prabir Das	A Case Study-based Performance Evaluation Framework for CSCF Processes on a Blade-Server.	ICNS	2007	DBLP DOI BibTeX RDF
9	David Pariag, Tim Brecht, Ashif S. Harji, Peter A. Buhr, Amol Shukla, David R. Cheriton	Comparing the performance of web server architectures.	EuroSys	2007	DBLP DOI BibTeX RDF	performance, scalability, events, threads, web servers
9	Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin	A Certified Thread Library for Multithreaded User Programs.	TASE	2007	DBLP DOI BibTeX RDF
9	Glenn Ammons, Jonathan Appavoo, Maria A. Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan S. Rosenburg, Eric Van Hensbergen, Robert W. Wisniewski	Libra: a library operating system for a jvm in a virtualized execution environment.	VEE	2007	DBLP DOI BibTeX RDF	exokernels, virtualization, JVM, xen
9	Hisayoshi Sugiyama, Tetsuo Tsujioka, Masashi Murata	Reconnaissance into distant spaces by multi-robot rescue system with ad hoc networking.	ROBOCOMM	2007	DBLP DOI BibTeX RDF	USAR, rescue system, multi-robot, adhoc network
9	Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew J. Bridges, David I. August	From sequential programs to concurrent threads.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
9	Nikolaos Drosinos, Nectarios Koziris	The Effect of Process Topology and Load Balancing on Parallel Programming Models for SMP Clusters and Iterative Algorithms.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	hybrid programming, parallel programming, MPI, high performance computing, OpenMP, tiling, iterative algorithms, SMP clusters
9	Michael J. Schulte, John Glossner, Sanjay Jinturkar, Mayan Moudgill, Suman Mamidi, Stamatis Vassiliadis	A Low-Power Multithreaded Processor for Software Defined Radio.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	low power, wireless communication, computer architecture, multithreading, microarchitecture, Software Defined Radio, processor design
9	Winston H. Hsu, Shih-Fu Chang	Topic Tracking Across Broadcast News Videos with Visual Duplicates and Semantic Concepts.	ICIP	2006	DBLP DOI BibTeX RDF
9	Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
9	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
9	Phillip Stanley-Marbell, Kanishka Lahiri, Anand Raghunathan	Adaptive data placement in an embedded multiprocessor thread library.	DATE	2006	DBLP DOI BibTeX RDF
9	Miaobo Chen, Shalom Goldenberg, Suresh Srinivas, Valery Ushakov, Young Wang, Qi Zhang, Eric Lin, Yoav Zach	Java JNI Bridge: A Framework for Mixed Native ISA Execution.	CGO	2006	DBLP DOI BibTeX RDF
9	Sumeet Kumar, Aneesh Aggarwal	Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors.	HPCA	2006	DBLP DOI BibTeX RDF
9	Abhijit Sarkar, Nabil Benabbou, Roger G. Ghanem	Domain Decompostion Of Stochastic PDEs and its Parallel.	HPCS	2006	DBLP DOI BibTeX RDF
9	Jacob Engel, Joseph Meneskie, Taskin Koçak	Performance analysis of network protocol offload in a simulation environment.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	CPU utilization, gigabit NIC, offload engines, TCP, IP, UDP
9	Bundit Manaskasemsak, Putchong Uthayopas, Arnon Rungsawang	A Mixed MPI-Thread Approach for Parallel Page Ranking Computation.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF	PageRank computation, parallel computing, link analysis
9	Aliandro Lima, Walfredo Cirne, Francisco Vilar Brasileiro, Daniel Fireman	A Case for Event-Driven Distributed Objects.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
9	Sangho Yi, Hong Min, Junyoung Heo, Boncheol Gu, Yookun Cho, Jiman Hong, Hyukjun Oh, Byunghun Song	XMAS: An eXtraordinary Memory Allocation Scheme for Resource-Constrained Sensor Operating Systems.	MSN	2006	DBLP DOI BibTeX RDF
9	Scott McMaster, Atif M. Memon	Call Stack Coverage for GUI Test-Suite Reduction.	ISSRE	2006	DBLP DOI BibTeX RDF
9	Chong-Wah Ngo, Wanlei Zhao, Yu-Gang Jiang	Fast tracking of near-duplicate keyframes in broadcast domain with transitivity propagation.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	keyframe tracking, keypoint matching, pattern entropy, transitivity propagation, near-duplicate detection
9	Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau, Milind Girkar, Xinmin Tian, Hideki Saito 0001	Challenges in exploitation of loop parallelism in embedded applications.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	multithreading, multi-cores, vectorization, libraries, programming models, thread-level speculation, parallel loops
9	Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur	SCOOP - Concurrency Made Easy.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
9	Arun Kejariwal, Xinmin Tian, Wei Li 0015, Milind Girkar, Sergey Kozhukhov, Hideki Saito 0001, Utpal Banerjee, Alexandru Nicolau, Alexander V. Veidenbaum, Constantine D. Polychronopoulos	On the performance potential of different types of speculative thread-level parallelism: The DL version of this paper includes corrections that were not made available in the printed proceedings.	ICS	2006	DBLP DOI BibTeX RDF	DOALL loops, value dependence, performance evaluation, data dependence, speculative execution, control dependence
9	Pawel Gepner, Michal Filip Kowalik	Multi-Core Processors: New Way to Achieve High System Performance.	PARELEC	2006	DBLP DOI BibTeX RDF
9	Somayeh Sardashti, Hamid Reza Ghasemi, Omid Fatemi	Muli-Issue Multi-Threaded Stream Processor.	ICME	2006	DBLP DOI BibTeX RDF
9	Ichiro Ide, Hiroshi Mo, Norio Katayama, Shin'ichi Satoh 0001	Exploiting Topic Thread Structures in a News Video Archive for the Semi-Automatic Generation of Video Summaries.	ICME	2006	DBLP DOI BibTeX RDF
9	Wessam Hassanein, Moustafa A. Hammad, Layali K. Rashid	Characterizing the Performance of Data Management Systems on Hyper-Threaded Architectures.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
9	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
9	Benjamin C. Lee	ACM student research competition reception - Statistical inference for efficient microarchitectural and application analysis.	SC	2006	DBLP DOI BibTeX RDF
9	Sanjiv Shah, Mark Bull	OpenMP - OpenMP.	SC	2006	DBLP DOI BibTeX RDF
9	Benjamin C. Lee	ACM student research competition finalists - Statistical inference for efficient microarchitectural and application analysis.	SC	2006	DBLP DOI BibTeX RDF
9	Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'Grady	Managing Resources in Constrained Environments with Autonomous Agents.	ESAW	2006	DBLP DOI BibTeX RDF
9	Xiaobin Li, Jean-Luc Gaudiot	Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors.	PRDC	2006	DBLP DOI BibTeX RDF
9	Swapna S. Gokhale, Paul J. Vandal, Jijun Lu	Performance and Reliability Analysis ofWeb Server Software Architectures.	PRDC	2006	DBLP DOI BibTeX RDF
9	Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra	Apriori Formal Coverage Analysis for Protocol Properties.	VLSI Design	2006	DBLP DOI BibTeX RDF
9	Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	How to Automatically and Accurately Sandbox Microsoft IIS.	ACSAC	2006	DBLP DOI BibTeX RDF
9	Joseph G. Slember, Priya Narasimhan	Living with Nondeterminism in Replicated Middleware Applications.	Middleware	2006	DBLP DOI BibTeX RDF
9	Vasileios Liaskovitis, Shimin Chen, Phillip B. Gibbons, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Michael Kozuch, Todd C. Mowry, Chris Wilkerson	Parallel depth first vs. work stealing schedulers on CMP architectures.	SPAA	2006	DBLP DOI BibTeX RDF	scheduling, caches, chip multiprocessors
9	Zhenmin Li, Lin Tan 0001, Xuanhui Wang, Shan Lu 0001, Yuanyuan Zhou 0001, Chengxiang Zhai	Have things changed now?: an empirical study of bug characteristics in modern open source software.	ASID	2006	DBLP DOI BibTeX RDF	bug characteristics, security, empirical study, open source, bug detection
9	Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K. Jha	HybDTM: a coordinated hardware-software approach for dynamic thermal management.	DAC	2006	DBLP DOI BibTeX RDF	hybrid hardware-software management, thermal model, dynamic thermal management
9	Grant Martin	Overview of the MPSoC design challenge.	DAC	2006	DBLP DOI BibTeX RDF	MPSoC, system-level design, multi-processor system-on-chip
9	M. Wasiur Rashid, Edwin J. Tan, Michael C. Huang 0001, David H. Albonesi	Power-Efficient Error Tolerance in Chip Multiprocessors.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Fault-tolerance, low-power design
9	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
9	Bob Bentley	Validating a Modern Microprocessor.	CAV	2005	DBLP DOI BibTeX RDF
9	Wei Huang 0032, Jiang Lin, Zhao Zhang 0010, J. Morris Chang	Towards Pairing Java Applications on SMT Processors.	MASCOTS	2005	DBLP DOI BibTeX RDF
9	Federico Balaguer	Model checking the behavior of frameworks extended with other frameworks.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented, frameworks, temporal logic, rewriting logic
9	Guilherme Ottoni, Ram Rangan, Adam Stoler, David I. August	Automatic Thread Extraction with Decoupled Software Pipelining.	MICRO	2005	DBLP DOI BibTeX RDF