Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
41 | Tanausú Ramírez, Alex Pajuelo, Oliverio J. Santana, Mateo Valero |
Runahead Threads to improve SMT performance. |
HPCA |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Michal Moskal |
Rocket-Fast Proof Checking for SMT Solvers. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Shuming Chen, Pengyong Ma |
FROCM: A Fair and Low-Overhead Method in SMT Processor. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Yongfeng Pan, Xiaoya Fan, Liqiang He, Deli Wang |
A Bypass Mechanism to Enhance Branch Predictor for SMT Processors. |
Asia-Pacific Computer Systems Architecture Conference |
2007 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Qingying Deng, Minxuan Zhang, Jiang Jiang |
A Parallel Infrastructure on Dynamic EPIC SMT. |
ICA3PP |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Ugur Bozkaya, Burak Acar |
SMT: Split and Merge Tractography for DT-MRI. |
MICCAI (2) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
41 | Lars Ailo Bongo, Brian Vinter, Otto J. Anshus, Tore Larsen, John Markus Bjørndalen |
Using Overdecomposition to Overlap Communication Latencies with Computation and Take Advantage of SMT Processors. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Xiaobin Li, Jean-Luc Gaudiot |
Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Seungryul Choi, Donald Yeung |
Learning-Based SMT Processor Resource Distribution via Hill-Climbing. |
ISCA |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump |
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
competition, decision procedures, satisfiability modulo theories |
41 | Zhichun Zhu, Zhao Zhang 0010 |
A Performance Comparison of DRAM Memory System Optimizations for SMT Processors. |
HPCA |
2005 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Guilherme Dal Pizzol, Philippe Olivier Alexandre Navaux |
Branch Prediction Topologies for SMT Architectures. |
SBAC-PAD |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han |
Adaptive execution techniques for SMT multiprocessor architectures. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
simultaneous multi-threading, compilers, performance estimation, performance counters, adaptive execution |
41 | Francisco J. Cazorla, Alex Ramírez, Mateo Valero, Enrique Fernández |
Dynamically Controlled Resource Allocation in SMT Processors. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Byung In Moon, Hongil Yoon, Ilgu Yun, Sungho Kang |
An In-Order SMT Architecture with Static Resource Partitioning for Consumer Applications. |
PDCAT |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Ali El-Moursy, David H. Albonesi |
Front-End Policies for Improved Issue Efficiency in SMT Processors. |
HPCA |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Dimitrios S. Nikolopoulos |
Code and Data Transformations for Improving Shared Cache Performance on SMT Processors. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
compilers, operating systems, memory hierarchies, runtime systems, multithreaded processors |
41 | 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 |
|
41 | 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 |
41 | Francisco J. Cazorla, Enrique Fernández, Alex Ramírez, Mateo Valero |
Improving Memory Latency Aware Fetch Policies for SMT Processors. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
fetch policy, long latency loads, load miss predictors, multithreading, SMT |
38 | Kristen Parton, Kathleen R. McKeown, James Allan, Enrique Henestroza |
Simultaneous multilingual search for translingual information retrieval. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
cross-lingual IR, document translation, query translation |
38 | Jonathan Barre, Christine Rochange, Pascal Sainrat |
A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. |
ARCS |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Christopher Lynch, Duc-Khanh Tran |
SMELS: Satisfiability Modulo Equality with Lazy Superposition. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Xin Fu, Wangyuan Zhang, Tao Li 0006, José A. B. Fortes |
Optimizing Issue Queue Reliability to Soft Errors on Simultaneous Multithreaded Architectures. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar |
A Tutorial on Satisfiability Modulo Theories. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yeting Ge, Clark W. Barrett, Cesare Tinelli |
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Cesare Tinelli |
An Abstract Framework for Satisfiability Modulo Theories. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ali El-Moursy, Rajeev Garg, David H. Albonesi, Sandhya Dwarkadas |
Compatible phase co-scheduling on a CMP of multi-threaded processors. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Hossein M. Sheini, Karem A. Sakallah |
From Propositional Satisfiability to Satisfiability Modulo Theories. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Hossein M. Sheini, Karem A. Sakallah |
A Progressive Simplifier for Satisfiability Modulo Theories. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Brian P. Kettler, James Starz, William Miller, Peter Haglich |
A Template-Based Markup Tool for Semantic Web Content. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | 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 |
|
38 | Michael Van Biesbrouck, Timothy Sherwood, Brad Calder |
A co-phase matrix to guide simultaneous multithreading simulation. |
ISPASS |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Yingmin Li, David M. Brooks, Zhigang Hu, Kevin Skadron, Pradip Bose |
Understanding the energy efficiency of simultaneous multithreading. |
ISLPED |
2004 |
DBLP DOI BibTeX RDF |
multithreading |
38 | Mohamed A. Gomaa, Chad Scarbrough, Irith Pomeranz, T. N. Vijaykumar |
Transient-Fault Recovery for Chip Multiprocessors. |
ISCA |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Yen-Kuang Chen, Eric Debes, Rainer Lienhart, Matthew J. Holliman, Minerva M. Yeung |
Evaluating and Improving Performance of Multimedia Applications on Simultaneous Multi-Threading. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Rohit Jain, Christopher J. Hughes, Sarita V. Adve |
Soft Real- Time Scheduling on Simultaneous Multithreaded Processors. |
RTSS |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Jesús Corbal, Roger Espasa, Mateo Valero |
DLP + TLP Processors for the Next Generation of Media Workloads. |
HPCA |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Jack L. Lo, Sujay S. Parekh, Susan J. Eggers, Henry M. Levy, Dean M. Tullsen |
Software-Directed Register Deallocation for Simultaneous Multithreaded Processors. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
architecture, register file, simultaneous multithreading, Multithreaded architecture |
38 | Chun-Mok Chung, Shin-Dug Kim |
A Dualthreaded Java Processor for Java Multithreading. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Steven Wallace, Brad Calder, Dean M. Tullsen |
Threaded Multiple Path Execution. |
ISCA |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Philip Garcia, Henry F. Korth |
Database hash-join algorithms on multithreaded computer architectures. |
Conf. Computing Frontiers |
2006 |
DBLP DOI BibTeX RDF |
performance, database, multithreading, software pipelining, SMT, memory performance, software prefetching, hash-join |
38 | Marisa Gil, Ruben Pinilla |
Thread coloring: a scheduler proposal from user to hardware threads. |
ACM SIGOPS Oper. Syst. Rev. |
2005 |
DBLP DOI BibTeX RDF |
hyper-threading, thread coloring, scheduling, multithreaded, SMT, linux kernel |
36 | Stéphane Graham-Lengrand, Mathias Preiner (eds.) |
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Guillaume Bury, François Bobot |
Verifying Models with Dolmen. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown 0001 |
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand |
Automated Analysis of Halo2 Circuits. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Oded Padon |
Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Christopher Lynch, Stephen Miner |
Complete Trigger Selection in Satisfiability Modulo First-Order Theories. |
SMT |
2023 |
DBLP BibTeX RDF |
|
36 | Thomas Hader, Laura Kovács |
An SMT Approach for Solving Polynomials over Finite Fields. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Chad E. Brown, Mikolás Janota, Cezary Kaliszyk |
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Jochen Hoenicke, Tanja Schindler |
A Simple Proof Format for SMT. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Zafer Esen, Philipp Rümmer |
An SMT-LIB Theory of Heaps. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács |
User-Propagators for Custom Theories in SMT Solving. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Milan Bankovic, David Scepanovic |
Trail Saving in SMT. |
SMT |
2022 |
DBLP BibTeX RDF |
|
36 | Guy Katz |
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification. |
SMT |
2021 |
DBLP BibTeX RDF |
|
36 | Guillaume Bury |
Dolmen: A Validator for SMT-LIB and Much More. |
SMT |
2021 |
DBLP BibTeX RDF |
|
36 | Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001 |
Characteristic Subsets of SMT-LIB Benchmarks. |
SMT |
2021 |
DBLP BibTeX RDF |
|
36 | Mooly Sagiv |
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. |
SMT |
2020 |
DBLP BibTeX RDF |
|
36 | Joseph Scott, Federico Mora, Vijay Ganesh |
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. |
SMT |
2020 |
DBLP BibTeX RDF |
|
36 | Ákos Hajdu, Dejan Jovanovic |
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. |
SMT |
2020 |
DBLP BibTeX RDF |
|
36 | Zafer Esen, Philipp Rümmer |
Abstract: Towards an SMT-LIB Theory of Heap. |
SMT |
2020 |
DBLP BibTeX RDF |
|
36 | Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh |
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. |
SMT |
2020 |
DBLP BibTeX RDF |
|
36 | Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
Visualising SMT-Based Parallel Constraint Solving. |
SMT |
2017 |
DBLP BibTeX RDF |
|
36 | Aina Niemetz, Mathias Preiner, Armin Biere |
Model-Based API Testing for SMT Solvers. |
SMT |
2017 |
DBLP BibTeX RDF |
|
36 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Instantiation and Pretending to be an SMT Solver with Vampire. |
SMT |
2017 |
DBLP BibTeX RDF |
|
36 | James Davenport |
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? |
SMT |
2017 |
DBLP BibTeX RDF |
|
36 | Philipp Rümmer, Christoph M. Wintersteiger (eds.) |
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Decision Procedures for Flat Array Properties. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Edmund S. L. Lam, Iliano Cervesato |
Reasoning About Set Comprehensions. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 |
Towards Conflict-Driven Learning for Virtual Substitution. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Hristina Palikareva, Cristian Cadar |
Multi-solver Support in Symbolic Execution. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Mats Carlsson, Olga Grinchtein, Justin Pearson |
Protocol Log Analysis with Constraint Programming. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Guillaume Melquiond |
Automating the Verification of Floating-Point Algorithms. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann |
Better Answers to Real Questions. |
SMT |
2014 |
DBLP BibTeX RDF |
|
36 | Jürgen Christ, Jochen Hoenicke |
Weakly Equivalent Arrays. |
SMT |
2014 |
DBLP BibTeX RDF |
|
35 | Tim King, Ruzica Piskac (eds.) |
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Markus Bender |
Reasoning with Sets and Sums of Sets. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Roberto Sebastiani, Patrick Trentin |
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Nik Sultana, Richard Mortier |
Kneecap: Model-based Generation of Network Traffic. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Raphaël Berthon, Christophe Ringeissen |
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Martin Bromberger, Christoph Weidenbach |
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Mikolás Janota, Christoph M. Wintersteiger |
On Intervals and Bounds in Bit-vector Arithmetic. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn |
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
35 | Pascal Fontaine, Amit Goel (eds.) |
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 |
SMT@IJCAR |
2013 |
DBLP BibTeX RDF |
|
35 | Rohit Gupta, Raj Nath Patel, Ritesh Shah |
Learning Improved Reordering Models for Urdu, Farsi and Italian using SMT. |
SMT@COLING |
2012 |
DBLP BibTeX RDF |
|
35 | Minwei Feng, Hermann Ney |
A Tagging-style Reordering Model for Phrase-based SMT. |
SMT@COLING |
2012 |
DBLP BibTeX RDF |
|
35 | Anh-Dung Phan, Nikolaj S. Bjørner, David Monniaux |
Anatomy of Alternating Quantifier Satisfiability (Work in progress). |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Armin Biere |
Practical Aspects of SAT Solving. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Stephan Falke 0001, Carsten Sinz, Florian Merz 0001 |
A Theory of Arrays with set and copy Operations. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
Reasoning with Triggers. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko |
Program Verification as Satisfiability Modulo Theories. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann |
Exotic Semi-Ring Constraints. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Gergely Kovásznai, Andreas Fröhlich, Armin Biere |
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
Reachability Modulo Theory Library. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Sava Krstic, Albert Oliveras (eds.) |
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007 |
SMT@CAV |
2008 |
DBLP BibTeX RDF |
|