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

• 2013
• 
  Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
  Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 12(2s): 95:1-95:30 (2013)
• 
  Zakir Hussain Ahmed:
  A Hybrid Genetic Algorithm for the Bottleneck Traveling Salesman Problem. ACM Trans. Embed. Comput. Syst. 12(1): 9:1-9:10 (2013)
• 
  Armin Alaghi, John P. Hayes:
  Survey of Stochastic Computing. ACM Trans. Embed. Comput. Syst. 12(2s): 92:1-92:19 (2013)
• 
  Lingamneni Avinash, Christian C. Enz, Krishna V. Palem, Christian Piguet:
  Synthesizing Parsimonious Inexact Circuits through Probabilistic Design Techniques. ACM Trans. Embed. Comput. Syst. 12(2s): 93:1-93:26 (2013)
• 
  Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Energy-efficient and high-performance software architecture for storage class memory. ACM Trans. Embed. Comput. Syst. 12(3): 81:1-81:22 (2013)
• 
  Sanjoy K. Baruah:
  Partitioning sporadic task systems upon memory-constrained multiprocessors. ACM Trans. Embed. Comput. Syst. 12(3): 78:1-78:18 (2013)
• 
  Luis Angel D. Bathen, Yongjin Ahn, Sudeep Pasricha, Nikil D. Dutt:
  MultiMaKe: Chip-multiprocessor driven memory-aware kernel pipelining. ACM Trans. Embed. Comput. Syst. 12(1s): 59:1-59:25 (2013)
• 
  Yosi Ben-Asher, Nadav Rotem:
  Using memory profile analysis for automatic synthesis of pointers code. ACM Trans. Embed. Comput. Syst. 12(3): 68:1-68:21 (2013)
• 
  Neil W. Bergmann, Sunil Shukla, Jürgen Becker:
  QUKU: A dual-layer reconfigurable architecture. ACM Trans. Embed. Comput. Syst. 12(1s): 63:1-63:26 (2013)
• 
  Nicolas Berthier, Florence Maraninchi, Laurent Mounier:
  Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. 12(1s): 39:1-39:26 (2013)
• 
  K. Bharanitharan, Jiun-Ren Ding, Anand Paul, Kuen-Ming Lee, Ting-Wei Hou:
  Dependable management system for ubiquitous camera array service in an elder-care center. ACM Trans. Embed. Comput. Syst. 12(2): 29:1-29:24 (2013)
• 
  Paul Bogdan, Siddharth Jain, Radu Marculescu:
  Pacemaker control of heart rate variability: A cyber physical system perspective. ACM Trans. Embed. Comput. Syst. 12(1s): 50:1-50:22 (2013)
• 
  Hanifa Boucheneb, Kamel Barkaoui:
  Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embed. Comput. Syst. 12(1): 7:1-7:24 (2013)
• 
  José Flich Cardo, Maurizio Palesi:
  Introduction to the special section on on-chip and off-chip network architectures. ACM Trans. Embed. Comput. Syst. 12(4): 104:1-104:2 (2013)
• 
  Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery D. Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, Dorin Maxim:
  PROARTIS: Probabilistically Analyzable Real-Time Systems. ACM Trans. Embed. Comput. Syst. 12(2s): 94:1-94:26 (2013)
• 
  Yufeng Chen, Gaiyun Liu:
  Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. ACM Trans. Embed. Comput. Syst. 12(1): 3:1-3:15 (2013)
• 
  Jian-Jia Chen, Maurizio Palesi:
  Introduction to the special section on ESTIMedia'12. ACM Trans. Embed. Comput. Syst. 12(1s): 32:1-32:2 (2013)
• 
  Yeong-Sheng Chen, Yun-Ju Ting, Chih-Heng Ke, Naveen K. Chilamkurti, Jong Hyuk Park:
  Efficient localization scheme with ring overlapping by utilizing mobile anchors in wireless sensor networks. ACM Trans. Embed. Comput. Syst. 12(2): 20:1-20:18 (2013)
• 
  Yu M. Chi, Patrick Ng, Gert Cauwenberghs:
  Wireless noncontact ECG and EEG biopotential sensors. ACM Trans. Embed. Comput. Syst. 12(4): 103:1-103:19 (2013)
• 
  Vinay K. Chippa, Kaushik Roy, Srimat T. Chakradhar, Anand Raghunathan:
  Managing the Quality vs. Efficiency Trade-off Using Dynamic Effort Scaling. ACM Trans. Embed. Comput. Syst. 12(2s): 90:1-90:23 (2013)
• 
  Yi-Fan Chung, Yin-Tsung Lo, Chung-Ta King:
  Enhancing user experiences by exploiting energy and launch delay trade-off of mobile multimedia applications. ACM Trans. Embed. Comput. Syst. 12(1s): 37:1-37:19 (2013)
• 
  Jérémie Crenne, Romain Vaslin, Guy Gogniat, Jean-Philippe Diguet, Russell Tessier, Deepak Unnikrishnan:
  Configurable memory security in embedded systems. ACM Trans. Embed. Comput. Syst. 12(3): 71:1-71:23 (2013)
• 
  Christoph Cullmann:
  Cache persistence analysis: Theory and practice. ACM Trans. Embed. Comput. Syst. 12(1s): 40:1-40:25 (2013)
• 
  Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu:
  metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(1s): 49:1-49:31 (2013)
• 
  Zhijun Ding, Changjun Jiang, Mengchu Zhou:
  Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement. ACM Trans. Embed. Comput. Syst. 12(1): 4:1-4:18 (2013)
• 
  Qi Dong, Donggang Liu, Peng Ning:
  Providing DoS resistance for signature-based broadcast authentication in sensor networks. ACM Trans. Embed. Comput. Syst. 12(3): 73:1-73:26 (2013)
• 
  Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich:
  A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs. ACM Trans. Embed. Comput. Syst. 12(3): 74:1-74:31 (2013)
• 
  Domenic Forte, Ankur Srivastava:
  Energy- and Thermal-Aware Video Coding via Encoder/Decoder Workload Balancing. ACM Trans. Embed. Comput. Syst. 12(2s): 96:1-96:26 (2013)
• 
  Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij:
  Sequential specification of time-aware stream processing applications. ACM Trans. Embed. Comput. Syst. 12(1s): 35:1-35:19 (2013)
• 
  Alberto Ghiribaldi, Daniele Ludovici, Francisco Triviño, Alessandro Strano, José Flich, José L. Sánchez, Francisco J. Alfaro, Michele Favalli, Davide Bertozzi:
  A complete self-testing and self-configuring NoC infrastructure for cost-effective MPSoCs. ACM Trans. Embed. Comput. Syst. 12(4): 106:1-106:29 (2013)

skipping 82 more matches