• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 15 matches

• 2017
• 
  Ahmed Abdel-Haleem, Magdy A. El-Moursy:
  TLM Virtual Platform for Fast and Accurate Power Estimation. MTV 2017: 35-38
• 
  Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov:
  Maintaining ISA Specifications in MicroTESK Test Program Generator. MTV 2017: 10-14
• 
  Martin Fajcik, Pavel Smrz, Marcela Zachariásová:
  Automation of Processor Verification Using Recurrent Neural Networks. MTV 2017: 15-20
• 
  Kaushik Gopalakrishnan, Bipin Ravi:
  Anvil: Best in Class Multiprocessor Coherency Verification Tool. MTV 2017: 21-25
• 
  Wei Hu, Armaiti Ardeshiricham, Ryan Kastner:
  Identifying and Measuring Security Critical Path for Uncovering Circuit Vulnerabilities. MTV 2017: 62-67
• 
  Siroos Madani, Magdy A. Bayoumi:
  A Security-Aware Pre-partitioning Technique for 3D Integrated Circuits. MTV 2017: 57-61
• 
  Jack Lawrence Mason:
  Validation of Context Preserving Thread-Level Speculative Execution Using N-Queens: Comparison of Non-CPSE and CPSE-enabled Applications. MTV 2017: 32-34
• 
  Mark Nelson, Peter-Michael Seidel:
  Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. MTV 2017: 68-73
• 
  Madhukarreddy Pappireddy, Bipin Ravi:
  SequenceLanguage: A Constraint Random MP-RIS Generation Framework. MTV 2017: 5-9
• 
  Fahim Rahman, Mohammad Farmani, Mark M. Tehranipoor, Yier Jin:
  Hardware-Assisted Cybersecurity for IoT Devices. MTV 2017: 51-56
• 
  Anand Raman, Yorgos Koutsoyannopoulos, Magdy Abadir:
  Electromagnetic (EM) Crosstalk Failures and Symptoms in SoC Designs. MTV 2017: 39-44
• 
  Khaled Salah:
  A Unified UVM Architecture for Flash-Based Memory. MTV 2017: 1-4
• 
  Ahmed Wahba, Justin Hohnerlein, Farhan Rahman, Li-C. Wang:
  Dynamic Exerciser Template Weighting in x86 Processor Verification. MTV 2017: 26-31
• 
  Liting Yu, Xiaoxiao Wang, Fahim Rahman, Mark M. Tehranipoor:
  iPUF: Interconnect PUF with Self-Masking Circuit for Performance Enhancement. MTV 2017: 45-50
• 
  18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-3351-9 [contents]