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

• 2015
• 
  Kapil Anand, Rajeev Barua:
  Instruction-Cache Locking for Improving Embedded Systems Performance. ACM Trans. Embed. Comput. Syst. 14(3): 53:1-53:25 (2015)
• 
  Aydin Aysu, Bilgiday Yuce, Patrick Schaumont:
  The Future of Real-Time Security: Latency-Optimized Lattice-Based Digital Signatures. ACM Trans. Embed. Comput. Syst. 14(3): 43:1-43:18 (2015)
• 
  Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo:
  Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Trans. Embed. Comput. Syst. 14(4): 76:1-76:22 (2015)
• 
  Abbas BanaiyanMofrad, Houman Homayoun, Nikil D. Dutt:
  Using a Flexible Fault-Tolerant Cache to Improve Reliability for Ultra Low Voltage Operation. ACM Trans. Embed. Comput. Syst. 14(2): 32:1-32:24 (2015)
• 
  Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov:
  Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14(4): 62:1-62:2 (2015)
• 
  Patrick Bellasi, Giuseppe Massari, William Fornaciari:
  Effective Runtime Resource Management Using Linux Control Groups with the BarbequeRTRM Framework. ACM Trans. Embed. Comput. Syst. 14(2): 39:1-39:17 (2015)
• 
  Davide Bertozzi, Stefano Di Carlo, Salvatore Galfano, Marco Indaco, Piero Olivo, Paolo Prinetto, Cristian Zambelli:
  Performance and Reliability Analysis of Cross-Layer Optimizations of NAND Flash Controllers. ACM Trans. Embed. Comput. Syst. 14(1): 7:1-7:24 (2015)
• 
  Rimpy Bishnoi, Vijay Laxmi, Manoj Singh Gaur, José Flich, Francisco Triviño:
  A Brief Comment on "A Complete Self-Testing and Self-Configuring NoC Infrastructure for Cost-Effective MPSoCs" [ACM Transactions on Embedded Computing Systems 12 (2013) Article 106]. ACM Trans. Embed. Comput. Syst. 14(1): 2:1-2:9 (2015)
• 
  Ahmad Boorghany, Siavash Bayat Sarmadi, Rasool Jalili:
  On Constrained Implementation of Lattice-Based Cryptographic Primitives and Schemes on Smart Cards. ACM Trans. Embed. Comput. Syst. 14(3): 42:1-42:25 (2015)
• 
  Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor:
  The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embed. Comput. Syst. 14(1): 9:1-9:25 (2015)
• 
  Hanifa Boucheneb, Kamel Barkaoui:
  Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14(1): 11:1-11:25 (2015)
• 
  Ferenc Bujtor, Walter Vogler:
  Failure Semantics for Modal Transition Systems. ACM Trans. Embed. Comput. Syst. 14(4): 67:1-67:30 (2015)
• 
  Vincenzo Catania, Andrea Araldo, Davide Patti:
  Parameter Space Representation of Pareto Front to Explore Hardware-Software Dependencies. ACM Trans. Embed. Comput. Syst. 14(4): 77:1-77:25 (2015)
• 
  Li-Pin Chang, Yo-Chuan Su, I-Chen Wu:
  Plugging Versus Logging: Adaptive Buffer Management for Hybrid-Mapping SSDs. ACM Trans. Embed. Comput. Syst. 14(2): 29:1-29:21 (2015)
• 
  Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo:
  Exploiting Concurrency for the Automated Synthesis of MPSoC Interconnects. ACM Trans. Embed. Comput. Syst. 14(3): 57:1-57:24 (2015)
• 
  Patrick Cooke, Lu Hao, Greg Stitt:
  Finite-State-Machine Overlay Architectures for Fast FPGA Compilation and Application Portability. ACM Trans. Embed. Comput. Syst. 14(3): 54:1-54:25 (2015)
• 
  Sylvain Cotard, Audrey Queudet, Jean-Luc Béchennec, Sébastien Faucou, Yvon Trinquet:
  STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. ACM Trans. Embed. Comput. Syst. 14(4): 66:1-66:25 (2015)
• 
  Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna:
  Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption. ACM Trans. Embed. Comput. Syst. 14(3): 47:1-47:28 (2015)
• 
  Dionysios Diamantopoulos, Kostas Siozios, Sotirios Xydis, Dimitrios Soudris:
  GENESIS: Parallel Application Placement onto Reconfigurable Architectures (Invited for the Special Issue on Runtime Management). ACM Trans. Embed. Comput. Syst. 14(1): 18:1-18:26 (2015)
• 
  Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben:
  Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. 14(4): 63:1-63:25 (2015)
• 
  Catherine H. Gebotys, Brian A. White:
  A Sliding Window Phase-Only Correlation Method for Side-Channel Alignment in a Smartphone. ACM Trans. Embed. Comput. Syst. 14(4): 80:1-80:22 (2015)
• 
  Gilles Geeraerts, Alexander Heußner, Jean-François Raskin:
  On the Verification of Concurrent, Asynchronous Programs with Waiting Queues. ACM Trans. Embed. Comput. Syst. 14(3): 58:1-58:26 (2015)
• 
  Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
  Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14(4): 69:1-69:19 (2015)
• 
  Manil Dev Gomony, Benny Akesson, Kees Goossens:
  A Real-Time Multichannel Memory Controller and Optimal Mapping of Memory Clients to Memory Channels. ACM Trans. Embed. Comput. Syst. 14(2): 25:1-25:27 (2015)
• 
  Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
  Incremental Analysis of Cyclo-Static Synchronous Dataflow Graphs. ACM Trans. Embed. Comput. Syst. 14(4): 68:1-68:26 (2015)
• 
  James Howe, Thomas Pöppelmann, Máire O'Neill, Elizabeth O'Sullivan, Tim Güneysu:
  Practical Lattice-Based Digital Signature Schemes. ACM Trans. Embed. Comput. Syst. 14(3): 41:1-41:24 (2015)
• 
  Kai Huang, Min Yu, Rongjie Yan, Xiaomeng Zhang, Xiaolang Yan, Lisane B. de Brisolara, Ahmed Amine Jerraya, Jiong Feng:
  Communication Optimizations for Multithreaded Code Generation from Simulink Models. ACM Trans. Embed. Comput. Syst. 14(3): 59:1-59:26 (2015)
• 
  Yazhi Huang, Mengying Zhao, Chun Jason Xue:
  Joint WCET and Update Activity Minimization for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 14(1): 6:1-6:21 (2015)
• 
  Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink:
  Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. 14(1): 10:1-10:21 (2015)
• 
  Loïg Jezequel, Eric Fabre, Victor Khomenko:
  Factored Planning: From Automata to Petri Nets. ACM Trans. Embed. Comput. Syst. 14(2): 26:1-26:25 (2015)

skipping 57 more matches