Browsing by Subject "Computers"

Now showing items 1-20 of 23

    • Article  

      A combinatorial characterization of properties preserved by antitokens 

      Busch, Costas; Demetriou, Neophytos; Herlihy, M.; Mavronicolas, Marios (2000)
      Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distribution of the tokens on the network’s ...
    • Article  

      Control-driven coordination programming in shared dataspace 

      Papadopoulos, George Angelos; Arbab, Farhad (1997)
      This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers and consumers, as well as a clear distinction ...
    • Article  

      Efficient, strongly consistent implementations of shared memory 

      Mavronicolas, Marios; Roth, D. (1992)
      We present linearizable implementations for two distributed organizations of multiprocessor shared memory. For the full caching organization, where each process keeps a local copy of the whole memory, we present a linearizable ...
    • Article  

      Extending planning graphs to an ADL subset 

      Koehler, J.; Nebel, B.; Hoffmann, J.; Dimopoulos, Yannis (1997)
      We describe an extension of graphplan to a subset of ADL that allows conditional and universally quantified effects in operators in such a way that almost all interesting properties of the original graph-plan algorithm are ...
    • Conference Object  

      Fault detection and recovery in a data-driven real-time multiprocessor 

      Farquhar, William G.; Evripidou, Paraskevas (Publ by IEEE, 1994)
      This paper introduces the mechanisms required to perform fault detection and recovery in the DART multiprocessor architecture. The DART multiprocessors uses prioritized data-driven scheduling to ensure that multiple hard ...
    • Article  

      Ignoring irrelevant facts and operators in plan generation 

      Nebel, B.; Dimopoulos, Yannis; Koehler, J. (1997)
      It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan system, however, which is the most efficient ...
    • Article  

      Learning from the current status of agile adoption 

      Kapitsaki, Georgia M.; Christou, Marios Andreas (2015)
      Software processes have evolved significantly since the first formal appearance of software engineering. The academia and the industry have introduced, embraced or rejected various methodologies that are more or less ...
    • Article  

      The method of fundamental solutions in Three-dimensional Elastostatics 

      Poullikkas, A.; Karageorghis, Andreas; Georgiou, Georgios C. (2002)
      We consider the application of the Method of Fundamental Solutions (MFS) to isotropic elastostatics problems in three-space dimensions. The displacements are approximated by linear combinations of the fundamental solutions ...
    • Article  

      Near-optimal hot-potato routing on trees 

      Busch, Costas; Magdon-Ismail, M.; Mavronicolas, Marios; Wattenhofer, R. (2004)
      In hot-potato (deflection) routing, nodes in the network have no buffers for packets in transit, which causes conflicting packets to be deflected away from their destinations. We study one-to-many batch routing problems ...
    • Article  

      Network interface for a data driven network of workstations (D2 NOW) 

      Kyriacou, Costas; Evripidou, Paraskevas (1999)
      This paper presents the network interface for the Data Driven Network Of Workstations (DzNOW), a multithreaded architecture that uses the decoupled data driven model of execution. D2NOW is built using commodity workstations. ...
    • Article  

      A new model for selfish routing 

      Lücking, T.; Mavronicolas, Marios; Monien, Burkhard; Rode, M. (2008)
      In this work, we introduce and study a new, potentially rich model for selfish routing over non-cooperative networks, as an interesting hybridization of the two prevailing such models, namely the KPmodel [E. Koutsoupias, ...
    • Article  

      Notes on sorting and counting networks 

      Hardavellas, N.; Karakos, D.; Mavronicolas, Marios (1993)
      Implementing counting networks on shared-memory multiprocessor machines often incurs a performance penalty proportional to the depth of the networks and the extent to which concurrent processors access the same memory ...
    • Article  

      Rotation of the sources and normalization of the fundamental solutions in the MFS 

      Smyrlis, Yiorgos-Sokratis; Karageorghis, Andreas (2002)
      The Method of Fundamental Solutions (MFS) is a boundary type method suitable for the solution of certain elliptic boundary value problems. The basic ideas of the MFS were introduced by Kupradze and Alexidze and its modern ...
    • Article  

      SESy-Europe: A multi-language database dedicated to cancer screening monitoring 

      Mauri, D.; Pazarlis, P.; Mauri, J.; Altinoz, H.; Flores, F. J. Rivas; Karentzou, I.; Proiskos, A.; Lakiotis, V.; Maragkaki, A.; Terzoudi, E.; Dambrosio, M.; Spiliopoulou, A.; Varsami, A.; Alexandropoulou, P.; Ch, F. Tolis; Pavlidis, Nicholas; Vittoraki, A. (2004)
      Cancer is the second cause of death in developed countries. Many efforts to educate the public to more tumor free life-style and screening practice have been therefore adopted. Considering the high costs of diagnostic ...
    • Book Chapter  

      A socio-technical analysis of factors affecting the integration of ICT in primary and secondary education 

      Angeli, Charoula; Valanides, Nicos (Idea Group Reference/IGI Global, 2006)
      We live in a world that is constantly impacted by information and communication technology (ICT). ICT is considered an important catalyst and tool for inducing educational reforms and progressively extending and modifying ...
    • Article  

      Thread synchronization unit (TSU): A building block for high performance computers 

      Evripidou, Paraskevas (1997)
      The Thread Synchronization Unit (TSU) is a hardware mechanism that provides data-driven thread synchronization and data consistency for multi-threaded architectures built with control-flow (i.e. commodity) microprocessors. ...
    • Article  

      Toward automated generation of parametric BIMs based on hybrid video and laser scanning data 

      Brilakis, Ioannis; Lourakis, Manolis; Sacks, Rafael; Savarese, Silvio; Christodoulou, Symeon E.; Teizer, Jochen; Makhmalbaf, Atefe (2010)
      Only very few constructed facilities today have a complete record of as-built information. Despite the growing use of Building Information Modelling and the improvement in as-built records, several more years will be ...
    • Article  

      Two-phase commit processing with restructured commit tree 

      Samaras, George S.; Kyrou, G. K.; Chrysanthis, Panos K. (2003)
      Extensive research has been carried out in search for an efficient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit protocol, either for the normal or failure case. ...
    • Conference Object  Open Access

      The use of information and communication technology in mathematics - a double irony? 

      Wright, Peter W. (Department of Educational Sciences, University of Cyprus, 2003)
      When the microcomputer was introduced to schools in the late 1970’s the connection between it and mathematics seemed more than obvious. Educators would have been excused if they thought that technology (and the computer ...
    • Conference Object  

      ViSMA: Extendible, mobile-agent based services for the materialization and maintenance of personalized and shareable Web views 

      Samaras, George S.; Karenos, K.; Chrysanthis, Panos K.; Pitoura, Evaggelia 1967- (Institute of Electrical and Electronics Engineers Inc., 2003)
      ViSMA (Views Supported by Mobile Agents) is a prototype set of extendible mobile-agent based services that allow the definition, materialization, maintenance and sharing of views created over remote Web-accessible databases. ...