• Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Conference Object  

      Applications of information Nonanticipative Rate Distortion Function 

      Stavrou, P. A.; Kourtellaris, C. K.; Charalambous, Charalambos D. (Institute of Electrical and Electronics Engineers Inc., 2014)
      The objective of this paper is to further investigate various applications of information Nonanticipative Rate Distortion Function (NRDF) by discussing two working examples, the Binary Symmetric Markov Source with parameter ...
    • Conference Object  

      Automatic code generation: A practical approach 

      Papadopoulos, George Angelos (2008)
      This work contributes in bridging the gap between software design and implementation of component-based systems using software architectures at the modelling/design level and the coordination paradigm at the implementation ...
    • Article  

      The d-identifying codes problem for vertex identification in graphs: Probabilistic analysis and an approximation algorithm 

      Xiao, Y.; Hadjicostis, Christoforos N.; Thulasiraman, K. (2006)
      Given a graph G(V, E), the identifying codes problem is to find the smallest set of vertices D ⊆ V such that no two vertices in V are adjacent to the same set of vertices in D. The identifying codes problem has been applied ...
    • Article  

      Decoding algorithm and architecture for BCH codes under the Lee metric 

      Wu, Y.; Hadjicostis, Christoforos N. (2008)
      The Lee metric measures the circular distance between two elements in a cyclic group and is particularly appropriate as a measure of distance for data transmission under phase-shift-keying modulation over a white noise ...
    • Article  

      Determination of the number of errors in DFT codes subject to low-level quantization noise 

      Takos, G.; Hadjicostis, Christoforos N. (2008)
      This paper analyzes the effects of quantization or other low-level noise on the error correcting capability of a popular class of real-number Bose-Chaudhuri-Hocquenghem (BCH) codes known as discrete Fourier transform (DFT) ...
    • Article  

      Fault-tolerant convolution via chinese remainder codes constructed from non-coprime moduli 

      Sundaram, S.; Hadjicostis, Christoforos N. (2008)
      This paper develops a framework for performing fault-tolerant convolution via error-correcting codes based on the chinese remainder theorem (CRT) with non-coprime moduli. In contrast to convolution that is protected through ...
    • Article  

      Fault-tolerant dynamic systems 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2000)
      We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check ...
    • Article  

      A General Formula for Compound Channel Capacity 

      Loyka, S.; Charalambous, Charalambos D. (2016)
      A general formula, for the capacity of arbitrary compound channels with the receiver channel state information, is obtained using the information density approach. No assumptions of ergodicity, stationarity, or information ...
    • Conference Object  

      Identifying Developers' Expertise in Social Coding Platforms 

      Constantinou, Eleni; Kapitsaki, Georgia M. (Institute of Electrical and Electronics Engineers Inc., 2016)
      Social coding platforms provide a means for software developers to acquire hands-on development experience. Their source code contributions can be used to showcase their expertise and skills in specific areas of software ...
    • Article  

      An implementation framework for Software Architectures based on the coordination paradigm 

      Papadopoulos, George Angelos; Stavrou, Aristos; Papapetrou, Odysseas (2006)
      Software Architectures have evolved considerably over the last decade and, partly also due to the significant progress made in component-based development, have become a major subfield of Software Engineering. The associated ...
    • Article  

      Information Transfer of Control Strategies: Dualities of Stochastic Optimal Control Theory and Feedback Capacity of Information Theory 

      Charalambous, Charalambos D.; Kourtellaris, C. K.; Tzortzis, I. (2017)
      The control-coding capacity of stochastic control systems is introduced, and its operational meaning is established using randomized control strategies, which simultaneously control output processes encode information, and ...
    • Article  

      An insight into license tools for open source software systems 

      Kapitsaki, Georgia M.; Tselikas, N. D.; Foukarakis, I. E. (2015)
      Free/Libre/Open Source Software (FLOSS) has gained a lot of attention lately allowing organizations to incorporate third party source code into their implementations. When open source software libraries are used, software ...
    • Article  

      Nash equilibria in discrete routing games with convex latency functions 

      Gairing, M.; Lücking, T.; Mavronicolas, Marios; Monien, Burkhard; Rode, M. (2008)
      In a discrete routing game, each of n selfish users employs a mixed strategy to ship her (unsplittable) traffic over m parallel links. The (expected) latency on a link is determined by an arbitrary non-decreasing, non-constant ...
    • Article  

      Novel Matrix Singular Value Inequalities and Their Applications to Uncertain MIMO Channels 

      Loyka, S.; Charalambous, Charalambos D. (2015)
      Novel matrix singular value inequalities are established for a sum/product of three matrices. Their application to the uncertain (compound) multiple-input multiple-output (MIMO) channel subject to normed additive uncertainty ...
    • Article  

      Optimal merging algorithms for lossless codes with generalized criteria 

      Charalambous, T.; Charalambous, Charalambos D.; Rezaei, F. (2014)
      This paper presents lossless prefix codes optimized with respect to a payoff criterion consisting of a convex combination of maximum codeword length and average codeword length. The optimal codeword lengths obtained are ...
    • Conference Object  

      Performance study of cosmological simulations on message-passing and shared-memory multiprocessors 

      Dikaiakos, Marios D.; Stadel, Joachim (ACM, 1996)
      In this paper we describe PKDGRAV, a parallel hierarchical tree-structured code used to conduct cosmological simulations on shared-memory and message-passing multiprocessors. We explore performance traits of cosmological ...
    • Conference Object  

      TFlux: A portable platform for data-driven multithreading on commodity multicore systems 

      Stavrou, Kyriakos; Nikolaides, Marios; Pavlou, Demos; Arandi, Samer; Evripidou, Paraskevas; Trancoso, Pedro (2008)
      In this paper we present Thread Flux (TFlux), a complete system that supports the Data-Driven Multithreading (DDM) model of execution. TFlux virtualizes any details of the underlying system therefore offering the same ...