Browsing by Subject "Computer software "

Now showing items 21-40 of 51

    • Conference Object  

      Impact of timing on linearizability in counting networks 

      Mavronicolas, Marios; Papatriantafilou, Marina; Tsigas, Philippas (IEEE, 1997)
      Counting networks form a new class of distributed, low-contention data structures, made up of interconnected balancers and are suitable for solving a variety of multiprocessor synchronization problems that can be expressed ...
    • 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  

      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  

      IWIM semantics via fibred automata 

      Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2002)
      Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
    • Conference Object  

      A Java-DSP interface for analysis of the MP3 algorithm 

      Huang, C. -W; Thiagarajan, J. J.; Spanias, Andreas S.; Pattichis, Constantinos S. (2011)
      Java-DSP is a freely accessible web-based software, primarily used in signal processing education and research. In this paper, we present Java-DSP modules that have been developed for the study and analysis of the MPEG-1 ...
    • Article  

      The method of fundamental solutions for axisymmetric acoustic scattering and radiation problems 

      Karageorghis, Andreas; Fairweather, G. (1998)
      The method of fundamental solutions (MFS) is applied to acoustic scattering and radiation for axisymmetric bodies and boundary conditions. The fundamental solution of the governing equation and its normal derivative, which ...
    • Article  

      Mobile agents for wireless computing: The convergence of wireless computational models with mobile-agent technologies 

      Spyrou, Christiana; Samaras, George S.; Pitoura, Evaggelia 1967-; Evripidou, Paraskevas (2004)
      Wireless mobile computing breaks the stationary barrier and allows users to compute and access information from anywhere and at anytime. However, this new freedom of movement does not come without new challenges. The mobile ...
    • 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  

      Modeling program predictability 

      Sazeides, Yiannakis; Smith, James E. (IEEE Comp Soc, 1998)
      Basic properties of program predictability - for both values and control - are defined and studied. We take the view that program predictability originates at certain points during a program's execution, flows through ...
    • Conference Object  

      Modeling value speculation 

      Sazeides, Yiannakis (IEEE Computer Society, 2002)
      Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described in an ambiguous manner, mainly due to the ...
    • Article  

      Net-console: A web-based development environment for MPI programs 

      Papagapiou, Andreas; Evripidou, Paraskevas; Samaras, George S. (1999)
      In this paper we describe Net-console, a Web-based environment for the development of Message Passing Interface (MPI) programs. Using Net-console the user is able to write, execute, debug and evaluate the performance of ...
    • Conference Object  

      Nine months in the life of EGEE: A look from the South 

      Da Costa, G.; Dikaiakos, Marios D.; Orlando, S. (2007)
      Grids have emerged as wide-scale, distributed infrastructures providing enough resources for always more demanding scientific experiments. EGEE is one of the largest scientific Grids in production operation today, with ...
    • Article  

      A numerical conformal mapping method for harmonic mixed boundary value problems 

      Karageorghis, Andreas; Stylianopoulos, Nikos S.; Zachariades, H. A. (1996)
      We describe a simple and versatile technique for the numerical solution of harmonic mixed boundary value problems in simply-connected domains. This technique is based on the theory of Riemann-Hilbert problems, and involves ...
    • Conference Object  

      Numerical simulation of die filling in semisolid metal processing 

      Bardinet, F.; Alexandrou, Andreas N.; Loue, Willem (Affiliation: WPI, Worcester, United StatesCorrespondence Address: Bardinet, FrancoisWPI, Worcester, United States, 1997)
      Semisolid Metal Processing offers distinct advantages over other near-net-shape technologies, such as a more homogeneous microstructure, less porosity and thus excellent mechanical properties. A perfect control of die ...
    • Conference Object  

      Performance potential of data dependence speculation & collapsing 

      Sazeides, Yiannakis; Vassiliadis, Stamatis; Smith, James E. (IEEE, 1996)
      Two hardware methods for remedying the effects of true data dependences are studied. The first method, dependence speculation, is used to eliminate address generation-load dependences. This is enabled by address prediction ...
    • 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  

      Performance-effective operation below Vcc-min 

      Ladas, N.; Sazeides, Yiannakis; Desmet, V. (2010)
      Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been proposed recently as a mean to reverse this ...
    • Article  

      A pluggable and reconfigurable architecture for a context-aware enabling middleware system 

      Paspallis, Nearchos; Rouvoy, R.; Barone, P.; Papadopoulos, George Angelos; Eliassen, F.; Mamelli, Alessandro (2008)
      Context awareness is a core feature of modern mobile and ubiquitous computing systems. Although it has not reached its full potential yet, one can already observe significant activity in the area of software engineering ...
    • Conference Object  

      Preserving quality in the development of mobile commerce services and applications 

      Andreou, Andreas S.; Panayidou, D.; Andreou, Panayiotis G.; Pitsillides, Andreas (2005)
      Mobile commerce is nowadays a continuously growing area, driving the need for advances in both the network characteristics and infrastructure, as well as in the available mobile devices used. The same need requires the ...
    • Article  

      Problem solving and problem posing in a dynamic geometry environment 

      Christou, Constantinos; Mousoulides,Nicholas G.; Pittalis, Marios; Pitta-Pantazi, Demetra (The University of Montana, 2005)
      In this study, we considered dynamic geometry software (DGS) as the tool that mediates students' strategies in solving and posing problems. The purpose of the present study was twofold. First, to understand the way in which ...