Search results for "SMT"

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