ACM Transactions on Embedded Computing Systems, Volume 12

Volume 12, Number 1, January 2013

Special Issue on Modeling and Verification of Discrete Event Systems

• 
  Mohamed Khalgui, Zhiwu Li:
  Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems. 1:1-1:2
• 
  Shouguang Wang, Chengying Wang, Yanping Yu:
  Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places. 2:1-2:18
• 
  Yufeng Chen, Gaiyun Liu:
  Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. 3:1-3:15
• 
  Zhijun Ding, Changjun Jiang, Mengchu Zhou:
  Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement. 4:1-4:18
• 
  Allan I. McInnes:
  Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach. 5:1-5:23
• 
  Karen Godary-Dejean, David Andreu:
  Formal Validation of a Deterministic MAC Protocol. 6:1-6:23
• 
  Hanifa Boucheneb, Kamel Barkaoui:
  Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. 7:1-7:24
• 
  Zhiming Zhang, Weimin Wu:
  Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets. 8:1-8:22
• 
  Zakir Hussain Ahmed:
  A Hybrid Genetic Algorithm for the Bottleneck Traveling Salesman Problem. 9:1-9:10
• 
  Naiqi Wu, Mengchu Zhou, Gang Hu:
  One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets. 10:1-10:23
• 
  Yi-Sheng Huang, Yen-Liang Pan, Pin-June Su:
  Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique. 11:1-11:13
• 
  Payam Nazemzadeh, Abbas Dideban, Meisam Zareiee:
  Fault Modeling in Discrete Event Systems Using Petri Nets. 12:1-12:19
• 
  Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
  Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. 13:1-13:23
• 
  Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
  Runtime Reconfigurations of Embedded Controllers. 14:1-14:23
• 
  Dominique Méry, Neeraj Kumar Singh:
  Formal Specification of Medical Systems by Proof-Based Refinement. 15:1-15:25
• 
  Olfa Mosbahi:
  Combining Formal Methods for the Development of Reactive Systems. 16:1-16:29
• 
  Christoph Sünder, Valeriy Vyatkin, Alois Zoitl:
  Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers. 17:1-17:17
• 
  Mohamed Khalgui:
  Distributed Reconfigurations of Autonomous IEC61499 Systems. 18:1-18:23

Volume 12, Number 2, February 2013

Special issue on embedded systems for interactive multimedia services (ES-IMS)

• 
  Jongsung Kim, Javier A. Barria, J. Morris Chang, Victor C. M. Leung:
  Special issue on embedded systems for interactive multimedia services (ES-IMS). 19:1-19:2
• 
  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. 20:1-20:18
• 
  Hung-Min Sun, Chi-Yao Weng, Shiuh-Jeng Wang, Cheng-Hsing Yang:
  Data embedding in image-media using weight-function on modulo operations. 21:1-21:12
• 
  Sanghyun Seo, Seungtaek Ryoo, Kyunghyun Yoon:
  Artistic image generation for emerging multimedia services by impressionist manner. 22:1-22:15
• 
  Sang Oh Park, Sung Jo Kim:
  ENFFiS: An enhanced NAND flash memory file system for mobile embedded multimedia system. 23:1-23:13
• 
  Jiayin Li, Meikang Qiu, Jianwei Niu, Laurence T. Yang, Yongxin Zhu, Zhong Ming:
  Thermal-aware task scheduling in 3D chip multiprocessor with real-time constrained workloads. 24:1-24:22
• 
  Anand Paul, Bo-Wei Chen, Karunanithi Bharanitharan, Jhing-Fa Wang:
  Video search and indexing with reinforcement agent for interactive multimedia services. 25:1-25:16
• 
  Yunyoung Nam, Seungmin Rho, Chulung Lee:
  Physical activity recognition using multiple sensors embedded in a wearable device. 26:1-26:14
• 
  Seungho Lim, Min Choi, Young-Sik Jeong:
  Data reorganization for scalable video service with embedded mobile devices. 27:1-27:18
• 
  Hyeong-Ju Kang, Hee Suk Seo, Jin Kwak:
  Area-efficient convolutional deinterleaver for mobile TV receiver. 28:1-28:12
• 
  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. 29:1-29:24
• 
  Chin-Feng Lai, Min Chen, Meikang Qiu, Athanasios V. Vasilakos, Jong Hyuk Park:
  A RF4CE-based remote controller with interactive graphical user interface applied to home automation system. 30:1-30:19
• 
  Agustinus Borgy Waluyo, David Taniar, Bala Srinivasan, J. Wenny Rahayu:
  Mobile query services in a participatory embedded sensing environment. 31:1-31:24

Volume 12, Number 1s, March 2013

Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems

• 
  Jian-Jia Chen, Maurizio Palesi:
  Introduction to the special section on ESTIMedia'12. 32:1-32:2
• 
  Antonis Nikitakis, Savvas Papaioannou, Ioannis Papaefstathiou:
  A novel low-power embedded object recognition system working at multi-frames per second. 33:1-33:20
• 
  Jiali Teddy Zhai, Hristo Nikolov, Todor P. Stefanov:
  Mapping of streaming applications considering alternative application specifications. 34:1-34:21
• 
  Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij:
  Sequential specification of time-aware stream processing applications. 35:1-35:19
• 
  Daeyoung Lee, Hyunok Oh:
  A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory. 36:1-36:17
• 
  Yi-Fan Chung, Yin-Tsung Lo, Chung-Ta King:
  Enhancing user experiences by exploiting energy and launch delay trade-off of mobile multimedia applications. 37:1-37:19
• 
  Bjorn De Sutter, Jan Vitek:
  Introduction to the special section on LCTES'11. 38:1
• 
  Nicolas Berthier, Florence Maraninchi, Laurent Mounier:
  Synchronous programming of device drivers for global resource control in embedded operating systems. 39:1-39:26
• 
  Christoph Cullmann:
  Cache persistence analysis: Theory and practice. 40:1-40:25
• 
  Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm:
  Introduction to the special section on rigorous embedded systems design. 41:1-41:2
• 
  Jan Reineke, Daniel Grund:
  Sensitivity of cache replacement policies. 42:1-42:18
• 
  Jinkyu Jeong, Hwanju Kim, Jeaho Hwang, Joonwon Lee, Seungryoul Maeng:
  Rigorous rental memory management for embedded systems. 43:1-43:21
• 
  Vasileios Vasilikos, Georgios Smaragdos, Christos Strydis, Ioannis Sourdis:
  Heuristic search for adaptive, defect-tolerant multiprocessor arrays. 44:1-44:23
• 
  Maria-Cristina V. Marinescu, César Sánchez:
  Fusing statecharts and java. 45:1-45:21
• 
  Michael Hübner, Andreas Herkersdorf:
  Introduction to the special section on multiprocessor system-on-chip for cyber-physical systems. 46:1
• 
  Pierre G. Paulin, Ali Erdem Özcan, Vincent Gagné, Bruno Lavigueur, Olivier Benny:
  Parallel programming patterns for multi-processor SoC: Application to video processing. 47:1-47:25
• 
  Lothar Thiele, Lars Schor, Iuliana Bacivarov, Hoeseok Yang:
  Predictability for timing and temperature in multiprocessor system-on-chip platforms. 48:1-48:25
• 
  Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu:
  metroII: A design environment for cyber-physical systems. 49:1-49:31
• 
  Paul Bogdan, Siddharth Jain, Radu Marculescu:
  Pacemaker control of heart rate variability: A cyber physical system perspective. 50:1-50:22
• 
  Diana Göhringer, Lukas Meder, Oliver Oey, Jürgen Becker:
  Reliable and adaptive network-on-chip architectures for cyber physical systems. 51:1-51:21
• 
  Tzu-Chiang Tai, Yen-Tai Lai:
  Power minimization for dynamically reconfigurable FPGA partitioning. 52:1-52:22
• 
  Chun-Jen Tsai, Tsung-Fan Shen, Pei-Ching Liao:
  Dynamic task partition for video decoding on heterogeneous dual-core platforms. 53:1-53:22
• 
  Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay:
  A distributed timing synchronization technique for parallel multi-core instruction-set simulation. 54:1-54:24
• 
  Marisha Rawlins, Ann Gordon-Ross:
  Adaptive loop caching using lightweight runtime control flow analysis. 55:1-55:23
• 
  Matthew Misler, Natalie D. Enright Jerger:
  Moths: Mobile threads for on-chip networks. 56:1-56:22
• 
  Hyduke Noshadi, Foad Dabiri, Shaun Ahmadian, Navid Amini, Majid Sarrafzadeh:
  HERMES: Mobile system for instability analysis and balance assessment. 57:1-57:24
• 
  Zoran Salcic, Avinash Malik:
  GALS-HMP: A heterogeneous multiprocessor for embedded applications. 58:1-58:26
• 
  Luis Angel D. Bathen, Yongjin Ahn, Sudeep Pasricha, Nikil D. Dutt:
  MultiMaKe: Chip-multiprocessor driven memory-aware kernel pipelining. 59:1-59:25
• 
  Jen-Wei Hsieh, Yuan-Hao Chang, Yuan-Sheng Chu:
  Implementation strategy for downgraded flash-memory storage devices. 60:1-60:29
• 
  Paula Herber, Sabine Glesner:
  A HW/SW co-verification framework for SystemC. 61:1-61:23
• 
  Se Jin Kwon, Tae-Sun Chung:
  Hot-LSNs distributing wear-leveling algorithm for flash memory. 62:1-62:28
• 
  Neil W. Bergmann, Sunil Shukla, Jürgen Becker:
  QUKU: A dual-layer reconfigurable architecture. 63:1-63:26
• 
  Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla:
  Timing effects of DDR memory systems in hard real-time multicore architectures: Issues and solutions. 64:1-64:26
• 
  Sung-Kyoung Kim, Tae Hyun Kim, Seokhie Hong:
  Fiat-shamir identification scheme immune to the hardware fault attacks. 65:1-65:11
• 
  Dimitrios N. Serpanos, Artemios G. Voyiatzis:
  Security challenges in embedded systems. 66:1-66:10

Volume 12, Number 3, March 2013

• 
  Fengxiang Zhang, Alan Burns:
  Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing. 67:1-67:19
• 
  Yosi Ben-Asher, Nadav Rotem:
  Using memory profile analysis for automatic synthesis of pointers code. 68:1-68:21
• 
  Fumin Zhang, Zhenwu Shi, Shayok Mukhopadhyay:
  Robustness analysis for battery-supported cyber-physical systems. 69:1-69:27
• 
  Nikolaos S. Voros, Michael Hübner, Jürgen Becker, Matthias Kühnle, Florian Thoma, Arnaud Grasset, Paul Brelet, Philippe Bonnot, Fabio Campi, Eberhard Schüler, Henning Sahlbach, Sean Whitty, Rolf Ernst, Enrico Billich, Claudia Tischendorf, Ulrich Heinkel, Frank Ieromnimon, Dimitrios Kritharidis, Axel Schneider, Joachim Knäblein, Wolfram Putzke-Röming:
  MORPHEUS: A heterogeneous dynamically reconfigurable platform for designing highly complex embedded systems. 70:1-70:33
• 
  Jérémie Crenne, Romain Vaslin, Guy Gogniat, Jean-Philippe Diguet, Russell Tessier, Deepak Unnikrishnan:
  Configurable memory security in embedded systems. 71:1-71:23
• 
  Shaoshan Liu, Richard Neil Pittman, Alessandro Forin, Jean-Luc Gaudiot:
  Achieving energy efficiency through runtime partial reconfiguration on reconfigurable systems. 72:1-72:21
• 
  Qi Dong, Donggang Liu, Peng Ning:
  Providing DoS resistance for signature-based broadcast authentication in sensor networks. 73:1-73:26
• 
  Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich:
  A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs. 74:1-74:31
• 
  Luciano Ost, Marcelo Mandelli, Gabriel Marchesan Almeida, Leandro Möller, Leandro Soares Indrusiak, Gilles Sassatelli, Pascal Benoit, Manfred Glesner, Michel Robert, Fernando Moraes:
  Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach. 75:1-75:22
• 
  Tiantian Liu, Chun Jason Xue, Minming Li:
  Joint variable partitioning and bank selection instruction optimization for partitioned memory architectures. 76:1-76:27
• 
  Jingtong Hu, Chun Jason Xue, Qingfeng Zhuge, Wei-Che Tseng, Edwin Hsing-Mean Sha:
  Write activity reduction on non-volatile main memories for embedded chip multiprocessors. 77:1-77:27
• 
  Sanjoy K. Baruah:
  Partitioning sporadic task systems upon memory-constrained multiprocessors. 78:1-78:18
• 
  Marco Paolieri, Jörg Mische, Stefan Metzlaff, Mike Gerdes, Eduardo Quiñones, Sascha Uhrig, Theo Ungerer, Francisco J. Cazorla:
  A hard real-time capable multi-core SMT processor. 79:1-79:26
• 
  Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han:
  Detection of harmful schizophrenic statements in esterel. 80:1-80:23
• 
  Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh:
  Energy-efficient and high-performance software architecture for storage class memory. 81:1-81:22
• 
  Dongwon Lee, Marilyn Wolf, Shuvra S. Bhattacharyya:
  High-performance and low-energy buffer mapping method for multiprocessor DSP systems. 82:1-82:23
• 
  Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee:
  Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. 83:1-83:26
• 
  Andrew T. Zimmerman, Jerome P. Lynch, Frank T. Ferrese:
  Market-based resource allocation for distributed data processing in wireless sensor networks. 84:1-84:28
• 
  Jingqing Mu, Karthik Shankar, Roman L. Lysecky:
  Profiling and online system-level performance and power estimation for dynamically adaptable embedded systems. 85:1-85:20

Volume 12, Number 2s, May 2013

Special Section on Probabilistic Embedded Computing

• 
  Christoph M. Kirsch, Vincent John Mooney:
  Introduction to Special Section on Probabilistic Embedded Computing. 86:1-86:2
• 
  Krishna V. Palem, Lingamneni Avinash:
  Ten Years of Building Broken Chips: The Physics and Engineering of Inexact Computing. 87:1-87:23
• 
  Sasa Misailovic, Deokhwan Kim, Martin C. Rinard:
  Parallelizing Sequential Programs with Statistical Accuracy Tests. 88:1-88:26
• 
  John Sartori, Rakesh Kumar:
  Exploiting Timing Error Resilience in Processor Architecture. 89:1-89:25
• 
  Vinay K. Chippa, Kaushik Roy, Srimat T. Chakradhar, Anand Raghunathan:
  Managing the Quality vs. Efficiency Trade-off Using Dynamic Effort Scaling. 90:1-90:23
• 
  Mastooreh Salajegheh, Yue Wang, Anxiao Jiang, Erik G. Learned-Miller, Kevin Fu:
  Half-Wits: Software Techniques for Low-Voltage Probabilistic Storage on Microcontrollers with NOR Flash Memory. 91:1-91:25
• 
  Armin Alaghi, John P. Hayes:
  Survey of Stochastic Computing. 92:1-92:19
• 
  Lingamneni Avinash, Christian C. Enz, Krishna V. Palem, Christian Piguet:
  Synthesizing Parsimonious Inexact Circuits through Probabilistic Design Techniques. 93:1-93:26
• 
  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. 94:1-94:26
• 
  Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
  Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. 95:1-95:30
• 
  Domenic Forte, Ankur Srivastava:
  Energy- and Thermal-Aware Video Coding via Encoder/Decoder Workload Balancing. 96:1-96:26
• 
  Vladimir Uzelac, Aleksandar Milenkovic:
  Hardware-Based Load Value Trace Filtering for On-the-Fly Debugging. 97:1-97:18

Volume 12, Number 4, June 2013

Special Section on Wireless Health Systems, On-Chip and Off-Chip Network Architectures
1 - Special Section on Wireless Health Systems

• 
  Roozbeh Jafari, John C. Lach, Majid Sarrafzadeh, William J. Kaiser:
  Introduction to the special section on wireless health systems. 98:1-98:2
• 
  Jacqueline Wijsman, Bernard Grundlehner, Julien Penders, Hermie Hermens:
  Trapezius muscle EMG as predictor of mental stress. 99:1-99:20
• 
  Rita H. Wouhaybi, Mark D. Yarvis, Sangita Sharma, Philip Muse, Chieh-Yih Wan, Sai Prasad, Lenitra Durham, Ritu Sahni, Robert Norton, Merlin Curry, Holly B. Jimison, Richard Harper, Robert A. Lowe:
  Experiences with context management in emergency medicine. 100:1-100:22
• 
  Aris Valtazanos, D. K. Arvind, Subramanian Ramamoorthy:
  Latent space segmentation for mobile gait analysis. 101:1-101:22
• 
  Fabien Massé, Martien van Bussel, Aline Serteyn, Johan Arends, Julien Penders:
  Miniaturized wireless ECG monitor for real-time detection of epileptic seizures. 102:1-102:21
• 
  Yu M. Chi, Patrick Ng, Gert Cauwenberghs:
  Wireless noncontact ECG and EEG biopotential sensors. 103:1-103:19

2 - Special Section on On-Chip and Off-Chip Network Architectures

• 
  José Flich Cardo, Maurizio Palesi:
  Introduction to the special section on on-chip and off-chip network architectures. 104:1-104:2
• 
  Qiaoyan Yu, Meilin Zhang, Paul Ampadu:
  Addressing network-on-chip router transient errors with inherent information redundancy. 105:1-105:21
• 
  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. 106:1-106:29
• 
  Frank Olaf Sem-Jacobsen, Samuel Rodrigo, Tor Skeie, Alessandro Strano, Davide Bertozzi:
  An efficient, low-cost routing framework for convex mesh partitions to support virtualization. 107:1-107:24
• 
  Ciprian Seiculescu, Dara Rahmati, Srinivasan Murali, Hamid Sarbazi-Azad, Luca Benini, Giovanni De Micheli:
  Designing best effort networks-on-chip to meet hard latency constraints. 108:1-108:23
• 
  Eitan Zahavi, Israel Cidon, Avinoam Kolodny:
  Gana: A novel low-cost conflict-free NoC architecture. 109:1-109:20
• 
  Dongki Kim, Sungjoo Yoo, Sunggu Lee:
  A network congestion-aware memory subsystem for manycore. 110:1-110:18
• 
  Frank Olaf Sem-Jacobsen, Samuel Rodrigo, Alessandro Strano, Tor Skeie, Davide Bertozzi, Francisco Gilabert Villamón:
  Enabling power efficiency through dynamic rerouting on-chip. 111:1-111:23
• 
  Abstracts: Online Supplements Volume 12, Numbers 1s/2s. 112:1-112:22