• Conference Object  

      Approximating standard cell delay distributions by reformulating the most probable failure point 

      Rodopoulos, Dimitrios; Roussel, P.; Catthoor, F.; Sazeides, Yiannakis; Soudris, Dimitrios J. (CEUR-WS, 2016)
      The delay distribution of a digital circuit path is crucial for the early reliability evaluation of a digital design. As transistors are shrunk to unprecedented dimensions, accurate yet fast estimation of such distributions ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • 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  

      How to compare the performance of two SMT microarchitectures 

      Sazeides, Yiannakis; Juan, T. (Institute of Electrical and Electronics Engineers Inc., 2001)
      In this paper we discuss methods and metrics for comparing the performance of two simultaneous multithreading microarchitectures. We identify conditions under which the instructions-per-cycle metric may be misleading for ...
    • Conference Object  

      Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults 

      Hardy, D.; Puaut, I.; Sazeides, Yiannakis (Institute of Electrical and Electronics Engineers Inc., 2016)
      Fine-grained disabling and reconfiguration of hardware elements (functional units, cache blocks) will become economically necessary to recover from permanent failures, whose rate is expected to increase dramatically in the ...
    • Article  

      Reasoning about actions and change in argumentation 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2016)
      This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of ...
    • Article  

      Social confluence in client-server systems 

      Philippou, Anna; Walker, D. (1997)
      An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, ...
    • Article  

      Stability Margins in Adaptive Mixing Control Via a Lyapunov-Based Switching Criterion 

      Baldi, S.; Ioannou, Petros A. (2016)
      This paper proposes a Lyapunov-based switching logic within the framework of adaptive mixing control (AMC), where a weighted combination of a family of candidate controllers can be inserted in the loop to regulate the ...
    • Conference Object  

      TFluxSCC: Exploiting performance on future many-core systems through Data-Flow 

      Diavastos, Andreas; Stylianou, Georgios; Trancoso, Pedro (Institute of Electrical and Electronics Engineers Inc., 2015)
      The current trend in processor design is to increase the number of cores as to achieve a desired performance. While having a large number of cores on a chip seems to be feasible in terms of the hardware, the development ...
    • Article  

      Towards local search for answer sets 

      Dimopoulos, Yannis; Sideris, A. (2002)
      Answer set programming has emerged as a new important paradigm for declarative problem solving. It relies on algorithms that compute the stable models of a logic program, a problem that is, in the worst-case, intractable. ...