• Conference Object  

      Predictability of data values 

      Sazeides, Yiannakis; Smith, James E. (IEEE Comp Soc, 1997)
      The predictability of data values is studied at a fundamental level. Two basic predictor models are defined: Computational predictors perform an operation on previous values to yield predicted next values. Examples we study ...
    • Conference Object  

      A QUDA-branch to compute disconnected diagrams in GPUs 

      Alexandrou, Constantia; Hadjiyiannakou, Kyriakos; Koutsou, Giannis; Strelchenko, A.; Avilés-Casco, A. V. (Proceedings of Science (PoS), 2013)
      Although QUDA allows for an efficient computation of many QCD quantities, it is surprinsingly lacking tools to evaluate disconnected diagrams, for which GPUS are specially well suited. We aim to fill this gap by creating ...
    • Conference Object  

      Reliably executing tasks in the presence of untrusted entities 

      Fernández, A.; López, L.; Santos, Agustín; Georgiou, Chryssis (2006)
      In this work we consider a distributed system formed by a master processor and a collection of n processors (workers) that can execute tasks
    • Article  

      Resources in process algebra 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2007)
      The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
    • Conference Object  

      Selecting Long Atomic Traces for High Coverage 

      Rosner, R.; Moffie, M.; Sazeides, Yiannakis; Ronen, R. (2003)
      This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and novel dynamic selection approaches - ...
    • Conference Object  

      Trace processors 

      Rotenberg, Eric; Jacobson, Quinn; Sazeides, Yiannakis; Smith, Jim (IEEE Comp Soc, 1997)
      Traces are dynamic instruction sequences constructed and cached by hardware. A microarchitecture organized around traces is presented as a means for efficiently executing many instructions per cycle. Trace processors exploit ...
    • Article  

      Watt matters most? Design space exploration of high-performance microprocessors for power-performance efficiency 

      Trancoso, Pedro (2007)
      Computer systems have evolved significantly in the last years leading to high-performance systems. This, however, has come with a cost of large power dissipation. As such, power-awareness has become a major factor in ...
    • Article  

      Work-competitive scheduling for cooperative computing with dynamic groups 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2005)
      The problem of cooperatively performing a set of t tasks in a decentralized computing environment subject to failures is one of the fundamental problems in distributed computing. The setting with partitionable networks is ...