Browsing by Subject "Embedded systems"

Now showing items 1-20 of 22

    • Article  

      Algebraic approaches for fault identification in discrete-event systems 

      Wu, Y.; Hadjicostis, Christoforos N. (2005)
      In this note, we develop algebraic approaches for fault identification in discrete-event systems that are described by Petri nets. We consider faults in both Petri net transitions and places, and assume that system events ...
    • Article  

      Argumentation based modelling of embedded agent dialogues 

      Dimopoulos, Yannis; Kakas, Antonis C.; Moraïtis, Pavlos (2006)
      This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments that agents exchange during a dialogue, it defines ...
    • Article  

      Encoded dynamics for fault tolerance linear finite-state machines 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2002)
      This note discusses fault tolerance in linear finite-state machines (LFSMs). By replacing a given LFSM with a larger, redundant LFSM that preserves the state of the original one in some linearly encoded form, various ...
    • Conference Object  

      Energy efficient stream-based configurable architecture for embedded platforms 

      Pratas, F.; Tomas, P.; Trancoso, Pedro; Sousa, L. (2012)
      Reconfigurable hardware can be used as an energy and performance efficient co-processing solution to accelerate certain types of applications. To facilitate the design of hardware accelerators we have proposed a methodology ...
    • Conference Object  

      Exploiting context in location-based information systems 

      Mettouris, Christos; Papadopoulos, George Angelos (2010)
      The area of mobile location-based information systems enumerates many systems that enable their users to digitally annotate physical locations, providing in this way information to others about these locations, communicating ...
    • Article  

      Finite-state machine embeddings for nonconcurrent error detection and identification 

      Hadjicostis, Christoforos N. (2005)
      In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system can corrupt its state and render its future functionality useless. Such ...
    • Conference Object  

      HARPA: Solutions for dependable performance under physically induced performance variability 

      Rodopoulos, Dimitrios; Corbetta, S.; Massari, Giuseppe; Libutti, S.; Catthoor, F.; Sazeides, Yiannakis; Nicopoulos, Chrysostomos A.; Portero, Antoni; Cappe, E.; Vavrík, R.; Vondrák, V.; Soudris, Dimitrios J.; Sassi, F.; Fritsch, A.; Fornaciari, W. (Institute of Electrical and Electronics Engineers Inc., 2015)
      Transistor miniaturization, combined with the dawn of novel switching semiconductor structures, calls for careful examination of the variability and aging of the computer fabric. Time-zero and time-dependent phenomena need ...
    • Conference Object  

      HARPA: Tackling physically induced performance variability 

      Zompakis, Nikolaos; Noltsis, Michail; Ndreu, L.; Hadjilambrou, Zacharias; Englezakis, Panayiotis; Nikolaou, Panagiota; Portero, Antoni; Libutti, S.; Massari, Giuseppe; Sassi, F.; Bacchini, A.; Nicopoulos, Chrysostomos A.; Sazeides, Yiannakis; Vavrik, R.; Golasowski, M.; Sevcik, J.; Vondrak, V.; Catthoor, F.; Fornaciari, W.; Soudris, Dimitrios J. (Institute of Electrical and Electronics Engineers Inc., 2017)
      Continuously increasing application demands on both High Performance Computing (HPC) and Embedded Systems (ES) are driving the IC manufacturing industry on an everlasting scaling of devices in silicon. Nevertheless, ...
    • Article  

      Integrating Transactions into the Data-Driven Multi-threading Model Using the TFlux Platform 

      Diavastos, Andreas; Trancoso, Pedro; Luján, M.; Watson, I. (2016)
      The introduction of multi-core processors has renewed the interest in programming models which can efficiently exploit general purpose parallelism. Data-Flow is one such model which has demonstrated significant potential ...
    • Conference Object  

      Integrating transactions into the data-driven multi-threading model using the tflux platform 

      Diavastos, Andreas; Trancoso, Pedro; Luján, M.; Watson, I. (2012)
      Multi-core processors have renewed interest in programming models which can efficiently exploit general purpose parallelism. Data-Flow is one such model which has demonstrated significant potential in the past. However, ...
    • Article  

      Mobile computing with MPEG-21 

      Angelides, Marios C.; Sofokleous, Anastasis A.; Schizas, Christos N. (2005)
      In the field of multimedia content provision, many researchers investigate numerous techniques for adapting the content based on device, network, environment and user characteristics. In this paper, we present an MPEG-21 ...
    • Article  

      An online and real-time fault detection and localization mechanism for network-on-chip architectures 

      Chrysanthou, Kypros; Englezakis, Panayiotis; Prodromou, Andreas; Panteli, Andreas; Nicopoulos, Chrysostomos A.; Sazeides, Yiannakis; Dimitrakopoulos, Giorgos N. (2016)
      Networks-on-Chip (NoC) are becoming increasingly susceptible to emerging reliability threats. The need to detect and localize the occurrence of faults at runtime is steadily becoming imperative. In this work, we propose ...
    • Article  

      Optimizing the utility function-based self-adaptive behavior of context-aware systems using user feedback 

      Kakousis, Konstantinos; Paspallis, Nearchos; Papadopoulos, George Angelos (2008)
      The vision of ubiquitous computing is about numerous devices embedded in our every-day environment, designed to serve humans in a non-obtrusive manner while minimizing the required user attention. These devices are expected ...
    • Article  

      PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2012)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      A process algebraic framework for modeling resource demand and supply 

      Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Conference Object  

      Programming multi-core architectures using data-flow techniques 

      Arandi, Samer; Evripidou, Paraskevas (2010)
      In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes Data-Flow concurrency. The programmer augments the program with macros that define threads and their data dependencies. ...
    • Conference Object  Open Access

      Robot soccer: integrated framework for Multidisciplinary hi-tech education 

      Sen Gupta, G.; Lim, Y.S.; Messom, C. H.; Demidenko, S.; Mukhopadhyay, S.C.; Pinder, D.N. (Department of Educational Sciences, University of Cyprus, 2003)
      Robot Soccer has become increasingly popular over the last decade as a platform for education and entertainment. It is a powerful vehicle for dissemination of scientific knowledge in a fun and exciting manner. It encompasses ...
    • Conference Object  

      RVC: A mechanism for time-analyzable real-time processors with faulty caches 

      Abella, J.; Quiñones, E.; Cazorla, F. J.; Sazeides, Yiannakis; Valero, M. (2011)
      Geometry scaling due to technology evolution as well as Vcc scaling lead to failures in large SRAM arrays such as caches. Faulty bits can be tolerated from the average performance perspective, but make critical realtime ...
    • Conference Object  

      Scalable and dynamic global power management for multicore chips 

      Otoom, M.; Trancoso, Pedro; Almasaeid, H.; Alzubaidi, M. (Association for Computing Machinery, 2015)
      The design for continuous computer performance is increasingly becoming limited by the exponential increase in the power consumption. In order to improve the energy efficiency of multicore chips, we propose a novel global ...
    • Conference Object  

      Supervisory control strategies for enhancing system security and privacy 

      Hadjicostis, Christoforos N. (2010)
      Enhancing the security and reliability of automated systems that control vital national infrastructures, such as energy and water distribution systems, has recently emerged as a critical aspect of maintaining, protecting, ...