Journal: IJES

Volume 2, Issue 3/4

142 -- 155Krishnakumar Balasubramanian, Arvind S. Krishna, Emre Turkay, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha S. Gokhale, Douglas C. Schmidt. Applying model-driven development to distributed real-time and embedded avionics systems
156 -- 165Lui Sha, Chang-Gun Lee. Real-time virtual machines for avionics software migration
166 -- 183Andrew Borg, Andy J. Wellings. Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications
184 -- 195Albert Mo Kim Cheng. A survey of formal verification methods and tools for embedded and real-time systems
196 -- 208Dionisio de Niz, Raj Rajkumar. Partitioning bin-packing algorithms for distributed real-time systems
209 -- 221Tai-Yi Huang, Kuang-Li Huang, Yeh-Ching Chung. Performance analysis of hard-real-time embedded software
222 -- 227Chia-Ying Tseng. The adaptive layer-based scheduling system for embedded real-time transmission on scalable multimedia stream
228 -- 238Eric Vecchié, Robert de Simone. Syntax-driven optimisations for reachable state space construction of ESTEREL programs
239 -- 247Jim Alves-Foss, Paul W. Oman, Carol Taylor, Scott Harrison. The MILS architecture for high-assurance embedded systems
248 -- 259Mei-Ling Chiang, Ching-Ju Lo. LyraFILE: a component-based VFAT file system for embedded systems

Volume 2, Issue 1/2

4 -- 15Stefan Ihmor, Wolfram Hardt. Runtime reconfigurable interfaces: the RTR-IFB approach
16 -- 27Yosi Ben-Asher, Daniel Citron, Gadi Haber. Overlapping memory operations with circuit evaluation in reconfigurable computing
28 -- 38Maya Gokhale, Paul Graham, Michael J. Wirthlin, Darrel Eric Johnson, Nathan Rollins. Dynamic reconfiguration for management of radiation-induced faults in FPGAs
39 -- 50Ashutosh S. Dhodapkar, James E. Smith. Tuning adaptive microarchitectures
51 -- 61Klaus Danne, Christophe Bobda. Dynamic reconfiguration of Distributed Arithmetic designs
62 -- 72Esam El-Araby, Mohamed Taher, Kris Gaj, Tarek A. El-Ghazawi, David Caliga, Nikitas A. Alexandridis. System-level parallelism and concurrency maximisation in reconfigurable computing applications
73 -- 85Lilian Bossuet, Guy Gogniat, Wayne Burleson. Dynamically configurable security for SRAM FPGA bitstreams
86 -- 94Cristinel Ababei, Kia Bazargan. Non-contiguous linear placement for reconfigurable fabrics
95 -- 105Janusz A. Starzyk, Yongtao Guo, Zhineng Zhu. Dynamically reconfigurable neuron architecture for the implementation of self-organising learning array
106 -- 113Alan G. Strelzoff. Functional programming of real-time reconfigurable embedded systems
114 -- 127Frank Hannig, Hritam Dutta, Jürgen Teich. Mapping a class of dependence algorithms to coarse-grained reconfigurable arrays: architectural parameters and methodology
128 -- 139Hanifa Boucheneb, Rachid Hadjidj. Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets