• 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 40 matches

• 2020
• 
  Thamer Alrefai, Leandro Soares Indrusiak:
  Management of container-based genetic algorithm workloads over cloud infrastructure. CF 2020: 229-232
• 
  Yehia Arafa, Ammar ElWazir, Abdelrahman Elkanishy, Youssef Aly, Ayatelrahman Elsayed, Abdel-Hameed A. Badawy, Gopinath Chennupati, Stephan J. Eidenbenz, Nandakishore Santhi:
  Verified instruction-level energy consumption measurement for NVIDIA GPUs. CF 2020: 60-70
• 
  Leandro Santiago de Araújo, Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Israel Koren, Sandip Kundu:
  Building a portable deeply-nested implicit information flow tracking. CF 2020: 150-157
• 
  Alexander Bajic, Georg T. Becker:
  A critical view on moving target defense and its analogies. CF 2020: 277-283
• 
  Jonathan M. Baker, Casey Duckering, Alexander Hoover, Frederic T. Chong:
  Time-sliced quantum circuit partitioning for modular architectures. CF 2020: 98-107
• 
  Alessandro Barenghi, Gerardo Pelosi:
  Constant weight strings in constant time: a building block for code-based post-quantum cryptosystems. CF 2020: 132-141
• 
  Alessandro Barenghi, Gerardo Pelosi:
  A comprehensive analysis of constant-time polynomial inversion for post-quantum cryptosystems. CF 2020: 269-276
• 
  Andrea Borghesi, Giuseppe Tagliavini, Michele Lombardi, Luca Benini, Michela Milano:
  Combining learning and optimization for transprecision computing. CF 2020: 10-18
• 
  Nazareno Bruschi, Angelo Garofalo, Francesco Conti, Giuseppe Tagliavini, Davide Rossi:
  Enabling mixed-precision quantized neural networks in extreme-edge devices. CF 2020: 217-220
• 
  Matheus A. Cavalcante, Andreas Kurth, Fabian Schuiki, Luca Benini:
  Design of an open-source bridge between non-coherent burst-based and coherent cache-line-based memory systems. CF 2020: 81-88
• 
  Hristo N. Djidjev:
  Automaton-based methodology for implementing optimization constraints for quantum annealing. CF 2020: 118-125
• 
  Luca Gemma, Martino Bernard, Mher Ghulinyan, Davide Brunelli:
  Analysis of control and sensing interfaces in a photonic integrated chip solution for quantum computing. CF 2020: 245-248
• 
  Nasos Grigoropoulos, Manos Koutsoubelias, Spyros Lalis:
  Byzantine fault tolerance for centrally coordinated missions with unmanned vehicles. CF 2020: 165-173
• 
  Stefan Groth, Daniel Grünewald, Jürgen Teich, Frank Hannig:
  A runtime system for finite element methods in a partitioned global address space. CF 2020: 39-48
• 
  Ping Gu, Meng Chow, Si Yu Shao:
  Outlier detection based on sparse coding and neighbor entropy in high-dimensional space. CF 2020: 202-207
• 
  Hui Huang, Yueyuan Jin, Ruonan Rao:
  SCoEmbeddings: encoding sentiment information into contextualized embeddings for sentiment analysis. CF 2020: 261-264
• 
  Konstantinos Iliakis, Helga Timko, Sotirios Xydis, Dimitrios Soudris:
  Scale-out beam longitudinal dynamics simulations. CF 2020: 29-38
• 
  Ziyang Kang, Shiying Wang, Lei Wang, Shiming Li, Lianhua Qu, Wei Shi, Rui Gong, Weixia Xu:
  Application-specific network-on-chip design space exploration framework for neuromorphic processor. CF 2020: 71-80
• 
  Engin Kayraklioglu, Jeff Anderson, Hamid Reza Imani, Volker J. Sorger, Tarek A. El-Ghazawi:
  Software stack for an analog mesh computer: the case of a nanophotonic PDE accelerator. CF 2020: 241-244
• 
  John D. Leidel, David Donofrio, Frank Conlon:
  StoneCutter: a very high level instruction set design language. CF 2020: 233-236
• 
  Marcos T. Leipnitz, Gabriel L. Nazar:
  High-level synthesis of throughput-optimized and energy-efficient approximate designs. CF 2020: 221-224
• 
  Wen-Jie Li, Dejun Jiang, Jin Xiong, Yungang Bao:
  HiLSM: an LSM-based key-value store for hybrid NVM-SSD storage systems. CF 2020: 208-216
• 
  Xiaoxin Li, Jiazhen Li, Rui Hou, Dan Meng:
  RCecker: a lightweight rule-based mechanism for backward control-flow integrity. CF 2020: 158-164
• 
  Jay P. Lim, Matan Shachnai, Santosh Nagarakatte:
  Approximating trigonometric functions for posits using the CORDIC method. CF 2020: 19-28
• 
  Xu T. Liu, Mahantesh Halappanavar, Kevin J. Barker, Andrew Lumsdaine, Assefaw H. Gebremedhin:
  Direction-optimizing label propagation and its application to community detection. CF 2020: 192-201
• 
  Meichen Liu, Meimei Li, Degang Sun, Zhixin Shi, Bin Lv, Pengcheng Liu:
  Terminator: a data-level hybrid framework for intellectual property theft detection and prevention. CF 2020: 142-149
• 
  Frank Liu, Narasinga Rao Miniskar, Dwaipayan Chakraborty, Jeffrey S. Vetter:
  Deffe: a data-efficient framework for performance characterization in domain-specific computing. CF 2020: 182-191
• 
  Antonio Macaluso, Luca Clissa, Stefano Lodi, Claudio Sartori:
  Quantum splines for non-linear approximations. CF 2020: 249-252
• 
  Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa:
  Compressed quadratization of higher order binary optimization problems. CF 2020: 126-131
• 
  Rupam Mondal, Hau T. Ngo, James Shey, Ryan N. Rakvic, T. Owens Walker, Dane Brown:
  Efficient architecture design for the AES-128 algorithm on embedded systems. CF 2020: 89-97

skipping 10 more matches