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

• 2020
• 
  Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh:
  Bit-Parallel Vector Composability for Neural Acceleration. DAC 2020: 1-6
• 
  Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh:
  Bit-Parallel Vector Composability for Neural Acceleration. CoRR abs/2004.05333 (2020)
• 2018
• 
  Paul Glotfelter, Jorge Cortés, Magnus Egerstedt:
  Boolean Composability of Constraints and Control Synthesis for Multi-Robot Systems via Nonsmooth Control Barrier Functions. CCTA 2018: 897-902
• 2017
• 
  Saïd Aoues, Michael Di Loreto, Damien Eberard, Wilfrid Marquis-Favre:
  Hamiltonian systems discrete-time approximation: Losslessness, passivity and composability. Syst. Control. Lett. 110: 9-14 (2017)
• 2016
• 
  Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
  A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016)
• 2015
• 
  Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Tullio Vardanega, Luca Fossati, Marco Zulianello, Francisco J. Cazorla:
  Introduction to partial time composability for COTS multicores. SAC 2015: 1955-1956
• 2014
• 
  Boonserm Kulvatunyou, Evan Wallace, Nenad Ivezic, Yunsu Lee:
  Toward Manufacturing System Composability Analysis: A Use Case Scenario. APMS (2) 2014: 658-666
• 
  Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
  A General Framework for Architecture Composability. SEFM 2014: 128-143
• 2013
• 
  Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla:
  Achieving timing composability with measurement-based probabilistic timing analysis. ISORC 2013: 1-8
• 
  Andrea Baldovin, Andrea Graziano, Enrico Mezzetti, Tullio Vardanega:
  Kernel-level time composability for avionics applications. SAC 2013: 1552-1554
• 2012
• 
  Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros:
  Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. ICWS 2012: 319-326
• 2011
• 
  Everton Carara, Gabriel Marchesan Almeida, Gilles Sassatelli, Fernando Gehm Moraes:
  Achieving composability in NoC-based MPSoCs through QoS management at software level. DATE 2011: 407-412
• 
  Edward Jung, Chih-Cheng Hung, Guangzhi Ma, Seonho Choi:
  A unified design method utilizing decomposability and composability for secure systems. RACS 2011: 272-276
• 2008
• 
  Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits:
  Composability in the time-triggered system-on-chip architecture. SoCC 2008: 87-90
• 2007
• 
  Elham Paikari, Jafar Habibi, Soheil Hassas Yeganeh:
  Semantic Composability Measure for Semantic Web Services. Asia International Conference on Modelling and Simulation 2007: 88-93
• 2005
• 
  Ovidiu Valentin Drugan, Ioanna Dionysiou, David E. Bakken, Thomas Plagemann, Carl H. Hauser, Deborah A. Frincke:
  On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management. ISAS 2005: 149-163
• 1995
• 
  Aris Zakinthinos, E. Stewart Lee:
  The Composability of Non-Interference. J. Comput. Secur. 3(4): 269-282 (1995)
• 
  Aris Zakinthinos, E. Stewart Lee:
  The composability of non-interference [system security]. CSFW 1995: 2-8