Search results for "SMT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
137	Carmelo Acosta, Francisco J. Cazorla, Alex Ramírez, Mateo Valero	MFLUSH: Handling Long-Latency Loads in SMT On-Chip Multiprocessors.	ICPP	2008	DBLP DOI BibTeX RDF
120	James Burns, Jean-Luc Gaudiot	Quantifying the SMT Layout Overhead-Does SMT Pull Its Weight?	HPCA	2000	DBLP DOI BibTeX RDF	Simultaneous Multi-Threading (SMT)
108	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
108	James Burns, Jean-Luc Gaudiot	SMT Layout Overhead and Scalability.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	layout area estimation, microarchitecture trade-off, processor architecture, SMT
99	Zeshan Chishti, T. N. Vijaykumar	Optimal Power/Performance Pipeline Depth for SMT in Scaled Technologies.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Power Management, Performance of Systems, Multithreaded processors
99	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
96	Luke K. McDowell, Susan J. Eggers, Steven D. Gribble	Improving server software support for simultaneous multithreaded processors.	PPoPP	2003	DBLP DOI BibTeX RDF	servers, simultaneous multithreading, runtime support
96	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
95	Yaoping Ruan, Vivek S. Pai, Erich M. Nahum, John M. Tracey	Evaluating the impact of simultaneous multithreading on network servers using real hardware.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	simultaneous multithreading(SMT), network server
89	Chen-Yong Cher, Il Park 0001, T. N. Vijaykumar	Do Trace Cache, Value Prediction and Prefetching Improve SMT Throughput?.	ARCS	2006	DBLP DOI BibTeX RDF
89	Yinlei Yu, Sharad Malik	Lemma Learning in SMT on Linear Constraints.	SAT	2006	DBLP DOI BibTeX RDF
89	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
86	Robert Nieuwenhuis, Albert Oliveras	On SAT Modulo Theories and Optimization Problems.	SAT	2006	DBLP DOI BibTeX RDF
80	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
80	Yingmin Li, David M. Brooks, Zhigang Hu, Kevin Skadron	Performance, Energy, and Thermal Considerations for SMT and CMP Architectures.	HPCA	2005	DBLP DOI BibTeX RDF
80	Jason Cong, Ashok Jagannathan, Glenn Reinman, Yuval Tamir	Understanding the energy efficiency of SMT and CMP with multiclustering.	ISLPED	2005	DBLP DOI BibTeX RDF	energy efficiency, simultaneous multithreading, chip multiprocessing
80	Steven E. Raasch, Steven K. Reinhardt	The Impact of Resource Partitioning on SMT Processors.	IEEE PACT	2003	DBLP DOI BibTeX RDF
80	James Burns, Jean-Luc Gaudiot	Area and System Clock Effects on SMT/CMP Processors.	IEEE PACT	2001	DBLP DOI BibTeX RDF
79	Stijn Eyerman, Lieven Eeckhout	Per-thread cycle accounting in SMT processors.	ASPLOS	2009	DBLP DOI BibTeX RDF	cycle accounting, simultaneous multithreading (smt), thread-progress aware fetch policy
77	Wangyuan Zhang, Xin Fu, Tao Li 0006, José A. B. Fortes	An Analysis of Microarchitecture Vulnerability to Soft Errors on Simultaneous Multithreaded Architectures.	ISPASS	2007	DBLP DOI BibTeX RDF	thread-aware reliability optimization, microarchitecture vulnerability, simultaneous multithreaded architecture, semiconductor transient fault, microprocessor reliability, processor throughput, soft error vulnerability analysis, SPEC CPU 2000 benchmark, microarchitecture structure, microarchitecture reliability profile, fetch policy, thread-level parallelism, multithreading architecture
77	Declan Groves, Andy Way	Hybrid data-driven models of machine translation.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Chunk coverage, Europarl corpus, Convergence, Hybrid, Statistical language models, Example-based MT, Statistical MT
77	Joshua Redstone, Susan J. Eggers, Henry M. Levy	An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture.	ASPLOS	2000	DBLP DOI BibTeX RDF
70	Yaoping Ruan, Vivek S. Pai, Erich M. Nahum, John M. Tracey	Do commodity SMT processors need more OS research?	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
70	T. N. Vijaykumar, Zeshan Chishti	Wire Delay is Not a Problem for SMT (In the Near Future).	ISCA	2004	DBLP DOI BibTeX RDF
70	Liqiang He, Zhiyong Liu	An Effective Cache Overlapping Storage Structure for SMT Processors.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	cache compress, overlap storage, SMT
70	Ruchira Sasanka, Sarita V. Adve, Yen-Kuang Chen, Eric Debes	The energy efficiency of CMP vs. SMT for multimedia workloads.	ICS	2004	DBLP DOI BibTeX RDF	multimedia, energy efficiency, CMP, SMT
70	Ayose Falcón, Oliverio J. Santana, Alex Ramírez, Mateo Valero	Tolerating Branch Predictor Latency on SMT.	ISHPC	2003	DBLP DOI BibTeX RDF	branch predictor delay, decoupled fetch, predictorpipelining, SMT
69	Seungryul Choi, Donald Yeung	Hill-climbing SMT processor resource distribution.	ACM Trans. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Hill-climbing algorithm, SMT processor, limit study
67	Ruiqiang Zhang, Keiji Yasuda, Eiichiro Sumita	Chinese word segmentation and statistical machine translation.	ACM Trans. Speech Lang. Process.	2008	DBLP DOI BibTeX RDF	linear integration, statistical machine translation, translation model, Chinese word segmentation
67	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.	SAT	2007	DBLP DOI BibTeX RDF
67	Jianhua Feng, Qian Qian, Yuguo Liao, Lizhu Zhou	Counting Graph Matches with Adaptive Statistics Collection.	WAIM	2006	DBLP DOI BibTeX RDF
67	Steven Swanson, Luke K. McDowell, Michael M. Swift, Susan J. Eggers, Henry M. Levy	An evaluation of speculative instruction execution on simultaneous multithreaded processors.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	multiprocessors, multithreading, Instruction-level parallelism, speculation, thread-level parallelism, simultaneous multithreading
67	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
67	Michael D. Powell, T. N. Vijaykumar	Resource area dilation to reduce power density in throughput servers.	ISLPED	2007	DBLP DOI BibTeX RDF	throughput servers, SMT, power density
61	Lucas C. Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
61	Hui Wang, Rama Sangireddy, Sandeep Baldawa	Optimizing Instruction Scheduling through Combined In-Order and O-O-O Execution in SMT Processors.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
61	Samantika Subramaniam, Milos Prvulovic, Gabriel H. Loh	PEEP: Exploiting predictability of memory dependences in SMT processors.	HPCA	2008	DBLP DOI BibTeX RDF
61	Malay K. Ganai	Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
61	Venkatesan Packirisamy, Yangchun Luo, Wei-Lung Hung, Antonia Zhai, Pen-Chung Yew, Tin-Fook Ngai	Efficiency of thread-level speculation in SMT and CMP architectures - performance, power and thermal perspective.	ICCD	2008	DBLP DOI BibTeX RDF
61	Matthew Curtis-Maury, Tanping Wang	Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications.	QEST	2005	DBLP DOI BibTeX RDF
61	Yuxing Tang, Kun Deng, Xingming Zhou	The Design Space of CMP vs. SMT for High Performance Embedded Processor.	ICESS	2005	DBLP DOI BibTeX RDF
61	Shi-Wu Lo, Kam-yiu Lam, Tei-Wei Kuo	Real-Time Task Scheduling for SMT Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
60	David K. Tam, Reza Azimi, Michael Stumm	Thread clustering: sharing-aware scheduling on SMP-CMP-SMT multiprocessors.	EuroSys	2007	DBLP DOI BibTeX RDF	cache behavior, detecting sharing, performance monitoring unit, single-chip multiprocessors, thread placement, resource allocation, CMP, multithreading, sharing, SMP, simultaneous multithreading, SMT, shared caches, cache locality, thread scheduling, thread migration, hardware performance monitors, hardware performance counters, affinity scheduling
60	Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero	Architectural support for real-time task scheduling in SMT processors.	CASES	2005	DBLP DOI BibTeX RDF	scheduling, real time, multithreading, performance predictability, ILP, thread-level parallelism, SMT
60	Minxuan Zhang, Caixia Sun	Enhancing DCache Warn Fetch Policy for SMT Processors.	ISPA	2005	DBLP DOI BibTeX RDF	L2 cache miss, I-fetch Policy, Fetch Priority, Resource Allocation, SMT
60	Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero	Predictable performance in SMT processors.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	real time, operating systems, multithreading, performance predictability, ILP, thread-level parallelism, SMT
59	Stijn Eyerman, Lieven Eeckhout	Probabilistic job symbiosis modeling for SMT processor scheduling.	ASPLOS	2010	DBLP DOI BibTeX RDF	simultaneous multi-threading (smt), symbiotic job scheduling, performance modeling
59	K. Rustan M. Leino, Rosemary Monahan	Reasoning about comprehensions with first-order SMT solvers.	SAC	2009	DBLP DOI BibTeX RDF	Spec#, matching triggers, quantifiers, SMT solvers
59	Ronaldo Gonçalves, Philippe Olivier Alexandre Navaux	Improving SMT Performance Scheduling Processes.	PDP	2002	DBLP DOI BibTeX RDF	SMT architecture, performance evaluation, process scheduling
58	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
58	Panagiotis Papadimitratos, Zygmunt J. Haas	Secure data transmission in mobile ad hoc networks.	Workshop on Wireless Security	2003	DBLP DOI BibTeX RDF	MANET security, secure message transmission, secure routing, multi-path routing, secure routing protocol
58	Jack L. Lo, Luiz André Barroso, Susan J. Eggers, Kourosh Gharachorloo, Henry M. Levy, Sujay S. Parekh	An Analysis of Database Workload Performance on Simultaneous Multithreaded Processors.	ISCA	1998	DBLP DOI BibTeX RDF
58	Jack L. Lo, Susan J. Eggers, Henry M. Levy, Sujay S. Parekh, Dean M. Tullsen	Tuning Compiler Optimizations for Simultaneous Multithreading.	MICRO	1997	DBLP DOI BibTeX RDF	cyclic algorithm, fine-grained sharing, inter-thread instruction-level parallelism, loop-iteration scheduling, memory system resources, software speculative execution, performance, parallel programs, parallel architecture, compiler optimizations, shared-memory multiprocessors, processor architecture, instructions, simultaneous multithreading, latency hiding, loop tiling, optimising compilers, inter-processor communication, cache size
57	Christopher Quirk, Arul Menezes	Dependency treelet translation: the convergence of statistical and example-based machine-translation?	Mach. Transl.	2006	DBLP DOI BibTeX RDF	EBMT, Dependency analysis, Syntax, SMT, Statistical machine translation, Example-based machine translation
57	Claude Limousin, Julien Sébot, Alexis Vartanian, Nathalie Drach-Temam	Improving 3D geometry transformations on a simultaneous multithreaded SIMD processor.	ICS	2001	DBLP DOI BibTeX RDF	SIMD extensions, cache memories, parallel rendering, data prefetching, SMT, applications specific architectures
56	Stijn Eyerman, Lieven Eeckhout	Memory-level parallelism aware fetch policies for simultaneous multithreading processors.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	Fetch Policy, Simultaneous Multithreading (SMT), Memory-Level Parallelism (MLP)
51	Josefa Díaz, José Ignacio Hidalgo, Francisco Fernández 0001, Oscar Garnica, Sonia López	Improving SMT performance: an application of genetic algorithms to configure resizable caches.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	reconfigurable caches, genetic algorithms, optimization, caches memories, simultaneous multithreading, gals, adaptive caches
51	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
51	Stijn Eyerman, Lieven Eeckhout	A Memory-Level Parallelism Aware Fetch Policy for SMT Processors.	HPCA	2007	DBLP DOI BibTeX RDF
51	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
51	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
51	Bernhard Fechner	A Fault-Tolerant Dynamic Fetch Policy for SMT Processors in Multi-Bus Environments.	PARELEC	2006	DBLP DOI BibTeX RDF
51	Liqiang He, Zhiyong Liu	Improving Accuracy of Perceptron Predictor Through Correlating Data Values in SMT Processors.	ISNN (3)	2005	DBLP DOI BibTeX RDF
51	Caixia Sun, Hong-Wei Tang, Minxuan Zhang	A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors.	APPT	2005	DBLP DOI BibTeX RDF
51	Alex Settle, Joshua L. Kihm, Andrew Janiszewski, Daniel A. Connors	Architectural Support for Enhanced SMT Job Scheduling.	IEEE PACT	2004	DBLP DOI BibTeX RDF
51	Gautham K. Dorai, Donald Yeung	Transparent Threads: Resource Sharing in SMT Processors for High Single-Thread Performance.	IEEE PACT	2002	DBLP DOI BibTeX RDF
51	Yen-Kuang Chen, Rainer Lienhart, Eric Debes, Matthew J. Holliman, Minerva M. Yeung	The Impact of SMT/SMP Designs on Multimedia Software Engineering - A Workload Analysis Study.	ISMSE	2002	DBLP DOI BibTeX RDF
51	Haitham Akkary, Sébastien Hily	The Case for Speculative Multithreading on SMT Processors.	ISHPC	2000	DBLP DOI BibTeX RDF
51	Mladen Berekovic, Tim Niggemeier	A Distributed, Simultaneously Multi-Threaded (SMT) Processor with Clustered Scheduling Windows for Scalable DSP Performance.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	clustering, distributed computing, DSP, MPEG-4, multi-threading, processor architecture, SMT
51	Liang Xu	SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	real-time systems, SMT, BMC
51	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
51	Smt. D. Sony, G. Ajitha, Taaha	Evaluating Phase Error of IRNSS using Narrow Correlator.	ICCCNT	2023	DBLP DOI BibTeX RDF
50	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
49	Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds 0001, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli	Automatic Verification of SMT Rewrites in Isabelle/HOL.	SMT	2023	DBLP BibTeX RDF
49	Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds 0001	Selecting Quantifiers for Instantiation in SMT.	SMT	2023	DBLP BibTeX RDF
49	Michael Whalen	Invited Talk: SAT and SMT Solving at Cloud Scale.	SMT	2023	DBLP BibTeX RDF
49	Romain Béguet, Raphaël Amiard	Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems.	SMT	2023	DBLP BibTeX RDF
49	Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett	Smt-Switch: A Solver-agnostic C++ API for SMT Solving.	SMT	2020	DBLP BibTeX RDF
49	Daniel J. Fremont, Sanjit A. Seshia	Speeding Up SMT-Based Quantitative Program Analysis.	SMT	2014	DBLP BibTeX RDF
49	To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa	raSAT: SMT for Polynomial Inequality.	SMT	2014	DBLP BibTeX RDF
49	Tim King 0001, Clark W. Barrett, Cesare Tinelli	Leveraging Linear and Mixed Integer Programming for SMT.	SMT	2014	DBLP BibTeX RDF
49	Richard Bonichon, David Déharbe, Cláudia Tavares	Extending SMT-LIB v2 with λ-Terms and Polymorphism.	SMT	2014	DBLP BibTeX RDF
49	Clark W. Barrett	SMT: Where do we go from here?	SMT	2014	DBLP BibTeX RDF
48	Eryk Kopczynski, Szymon Torunczyk	LOIS: an Application of SMT Solvers.	SMT@IJCAR	2016	DBLP BibTeX RDF
48	Tjark Weber	Scrambling and Descrambling SMT-LIB Benchmarks.	SMT@IJCAR	2016	DBLP BibTeX RDF
48	Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes	SMT-LIB Sequences and Regular Expressions.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle	SMT-Based System Verification with DVF.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish	A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans	An SMT-based approach to automated configuration.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters	The 2012 SMT Competition.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Natarajan Shankar	The Architecture of Inference from SMT to ETB.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
48	Jeremy Bongio, Cyrus Katrak, Hai Lin 0005, Christopher Lynch, Ralph Eric McGregor	Encoding First Order Proofs in SMT.	SMT@CAV	2007	DBLP DOI BibTeX RDF
48	Yanjun Ma, Andy Way	Bilingually Motivated Word Segmentation for Statistical Machine Translation.	ACM Trans. Asian Lang. Inf. Process.	2009	DBLP DOI BibTeX RDF	bilingually motivated, phrase-based statistical machine translation, Alignment, word segmentation
48	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
48	Lucia Specia, Baskaran Sankaran, Maria das Graças Volpe Nunes	n-Best Reranking for the Efficient Integration of Word Sense Disambiguation and Statistical Machine Translation.	CICLing	2008	DBLP DOI BibTeX RDF
48	Yik-Cheung Tam, Ian R. Lane, Tanja Schultz	Bilingual LSA-based adaptation for statistical machine translation.	Mach. Transl.	2007	DBLP DOI BibTeX RDF	Bilingual latent semantic analysis, Latent Dirichlet-tree allocation, Cross-lingual language model adaptation, Lexicon adaptation, Topic distribution transfer, Statistical machine translation
48	Neal A. Harman	Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.	CALCO	2007	DBLP DOI BibTeX RDF	many-sorted algebra, verification, microprocessors, correctness, threaded
48	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
48	Kemathat Vibhatavanij, Nian-Feng Tzeng, Angkul Kongmunvattana	Simultaneous Multithreading-Based Routers.	ICPP	2000	DBLP DOI BibTeX RDF