• Conference Object  

      Advanced static soaring flight controls for input constrained aircraft 

      Kahveci, N. E.; Ioannou, Petros A. (2010)
      Control surface actuator nonlinearities are recognized as a source of significant problems in flight control system design and verification. Recently developed adaptive control design methodologies with anti-windup ...
    • Article  

      Artificial neural networks for modelling the starting-up of a solar steam-generator 

      Kalogirou, Soteris A.; Neocleous, Costas K.; Schizas, Christos N. (1998)
      An experimental solar steam generator, consisting of a parabolic trough collector, a high-pressure steam circuit, and a suitable flash vessel has been constructed and tested in order to establish the thermodynamic performance ...
    • Conference Object  

      Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP 

      Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)
      Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
    • Conference Object  

      Concept-based discovery of mobile services 

      Skouteli, C.; Samaras, George S.; Pitoura, Evaggelia 1967- (2005)
      In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related services. Each such group of services is ...
    • Conference Object  

      Content classification for caching under CDNs 

      Pallis, George C.; Thomos, Charilaos; Stamos, Kostas; Vakali, Athena I.; Andreadis, Georgios (2008)
      Content Delivery Networks (CDNs) provide an efficient support for serving "resource-hungry" applications while minimizing the network impact of content delivery as well as shifting the traffic away from overloaded origin ...
    • Article  

      Continuous monitoring of children with suspected cardiac arrhythmias 

      Kyriacou, Efthyvoulos C.; Kounoudes, A.; Paraskeva, Loucas; Konstantinides, A.; Pattichis, Constantinos S.; Jossif, Antonis P.; Pattichis, Marios S.; Vogiatzis, Dimitrios G. (2009)
      Advances in wireless communications and networking technologies as well as computer and medical technologies, enable the development of small size, power efficient and more reliable medical multi-parameter recording systems, ...
    • Conference Object  

      Control-driven coordination based assembling of components 

      Chimaris, Avraam N.; Papadopoulos, George Angelos (2002)
      The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been proposed which address issues of CBSE from ...
    • Conference Object  

      Demo: A programming cloud of smartphones 

      Konstantinidis, Andreas; Costa, Constantinos; Larkou, G.; Zeinalipour-Yazdi, Constantinos D. (2012)
      In this demonstration we present SmartLab 1, an exciting experimental testbed of approximately 40+ real Android Smartphones, plus emulated devices, deployed at the Department of Computer Science building at the University ...
    • Conference Object  

      Design space navigation for neighboring power-performance efficient microprocessor configurations 

      Trancoso, Pedro (2005)
      Microprocessor design is a considerably complex task. First, microprocessors include many resources that may be configured in different ways. This leads to a time consuming multi-objective optimization problem. Second, ...
    • Article  

      Linearisation and potential symmetries of certain systems of diffusion equations 

      Sophocleous, Christodoulos; Wiltshire, R. J. (2006)
      We consider systems of two pure one-dimensional diffusion equations that have considerable interest in Soil Science and Mathematical Biology. We construct non-local symmetries for these systems. These are determined by ...
    • Conference Object  

      A methodology for model-driven web application composition 

      Kateros, D. A.; Kapitsaki, Georgia M.; Tselikas, N. D.; Venieris, Iakovos St (2008)
      Web application composition can greatly benefit from the utilization of existing frameworks and reusable components, in order to reduce development effort. Frameworks implementing the Model-View-Controller architectural ...
    • Article  

      Model-driven development of composite context-aware web applications 

      Kapitsaki, Georgia M.; Kateros, D. A.; Prezerakos, G. N.; Venieris, Iakovos St (2009)
      Context-awareness constitutes an essential aspect of services, especially when interaction with end-users is involved. In this paper a solution for the context-aware development of web applications consisting of web services ...
    • Conference Object  

      Model-driven development of composite web applications 

      Kapitsaki, Georgia M.; Kateros, D. A.; Pappas, C. A.; Tselikas, N. D.; Venieris, Iakovos St (2008)
      As the number of available web services increases, the development of web applications that integrate existing web services becomes more and more popular. This class of web applications can be seen as the composition of ...
    • Article  

      Model-driven development of context-aware web applications based on a web service context management architecture 

      Kapitsaki, Georgia M.; Venieris, Iakovos St (2009)
      Context information constitutes an essential aspect of service development and provision in mobile computing in the attempt to provide users with personalized services. The problem of handling context in these environments, ...
    • Conference Object  

      Real-Time Control of a Segmented Telescope Test-Bed 

      Abdullah, A. A.; Ioannou, Petros A. (2003)
      The control of large segmented telescopes is a challenging one due to the complexity and high order of the system. The high order dynamics lead to high order controllers that require more memory and faster computations for ...
    • Conference Object  

      A simulation tool to evaluate radio resource management algorithms for enhanced UMTS 

      Vassiliou, Vasos; Antoniou, Josephina; Hadjipollas, George; Pitsillides, Andreas (2005)
      This paper presents a new system level simulator that has been developed to evaluate Radio Resource Management (RRM) techniques in UMTS (Universal Mobile Telecommunication Systems) and enhanced-UMTS networks. The simulator ...
    • Conference Object  

      The TERAFLUX project: Exploiting the dataflow paradigm in next generation teradevices 

      Solinas, M.; Badia, R. M.; Bodin, F.; Cohen, A.; Evripidou, Paraskevas; Faraboschi, P.; Fechner, B.; Gao, G. R.; Garbade, A.; Girbal, S.; Goodman, D.; Khan, B.; Koliai, S.; Li, F.; Luján, M.; Morin, L.; Mendelson, A.; Navarro, N.; Pop, A.; Trancoso, Pedro; Ungerer, T.; Valero, M.; Weis, S.; Watson, I.; Zuckermann, S.; Giorgi, Roberto (2013)
      Thanks to the improvements in semiconductor technologies, extreme-scale systems such as teradevices (i.e., composed by 1000 billion of transistors) will enable systems with 1000+ general purpose cores per chip, probably ...
    • Article  

      Toward multi-layer holistic evaluation of system designs 

      Kleanthous, Marios M.; Sazeides, Yiannakis; Ozer, E.; Nicopoulos, Chrysostomos A.; Nikolaou, Panagiota; Hadjilambrou, Zacharias (2016)
      The common practice for quantifying the benefit(s) of design-time architectural choices of server processors is often limited to the chip- or server-level. This quantification process invariably entails the use of salient ...
    • Conference Object  

      Video SIMDBench: Benchmarking the Compiler Vectorization for Multimedia Applications 

      Alvanos, Michail; Trancoso, Pedro (Institute of Electrical and Electronics Engineers Inc., 2016)
      Single Instruction Multiple Data (SIMD) Extensions become popular in computer architectures as a simple and efficient way to exploit the data parallelism hidden in applications. The compiler research community has proposed ...