Browsing Conference papers by Issue Date

Now showing items 1-20 of 65

  • Synthesis and Applications of Boolean Memories 

    Philokyprou, C.; Halatsis, Constantin; Sigala, M.; Gaitanis, N. (Informatica, 1975)
    This paper presence a systematic method for the synthesis of Boolean Memories, i.e. memories having an arbitrary set of states. The method poses no restrictions on the state table of the Boolean memory and more over leads ...

  • Generalized setting equations for the memory elements of sequential machines. Self-independence criteria. 

    Philokyprou, G.; Gaitanis, N. (Informatica, 1976)
    This paper is concerned with formal derivation of generalized setting (excitation) equations of the flip-flop memory elements of a sequential machine. The equations are expressed in terms of four normalized transition ...

  • Optimal conversion of a separating system of a finite set to a completely separating system 

    Philokyprou, G.; Halatsis, Constantin; Gaitanis, N. (Informatica, 1978-10)
    Given a separating system S of a finite set H, we consider the problem of optimally converting it to a completely separating system [2] G of H, so that S G and G-S minimum. A method is presented and it proved that it leads ...

  • Architectural considerations for a microprogrammable emulating engine using bit-slices 

    Halatsis, Constantin; Van Dam, A.; Joosten, J.; Letheren, M. (1979)
    This paper describes architectural considerations which led to the design of a fast programmable processor made from ECL bit-slices. The processor will be used as an on-line data filtering engine for high energy physics ...

  • Software tools for microprocessor based systems 

    Halatsis, Constantin (CERN, 1980)
    After a short review of the hardware and/or software tools for the development of single-chip, fixed instruction set microprocessor-based systems the author focuses on the software tools for designing systems based on ...

  • PETINA—tour generation using the ElipSys inference system 

    Stamatopoulos, Panagiotis; Karali, Isambo; Halatsis, Constantin (ACM, 1992)
    PETINA is a Personalized Tourist Information Advisor system aiming at helping tourists to construct tours satisfying specified constraints. The system consults a large database that contains tourist data. PETINA has been ...

  • Extending a parallel CLP language to support the development of multi-agent systems 

    Margaritis, Dimitris; Stamatopoulos, Panagiotis; Halatsis, Constantin (ACM, 1994)
    An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that ...

  • An integrated and customisable support system for building hypermedia training applications 

    Tsalgatidou, Aphrodite; Palaskas, Zissis; Halatsis, Constantin; Hatzopoulos, Michael (Springer-Verlag, 1994)
    The multimedia platforms which are currently available are not suitable for the development of hypermedia training applications because they lack features dedicated to support the specific task of training. HTAS is an ...

  • Dynamic Process Modeling through Multi-level RBNs 

    Tsalgatidou, Aphrodite; Gouscos, Dimitris; Halatsis, Constantin (Deft University Press, 1994-09)
    This paper presents an approach for specifying and validating the dynamic aspects of IS at multiple levels of abstraction, during the requirements specification phase of system development, using a Petri net based model, ...

  • An efficient comparative concurrent Built-In Self-Test technique 

    Voyiatzis, Ioannis; Nikolos, D.; Paschalis, A.; Halatsis, Constantin (IEEE, 1995)
    Built-In Self-Test (BIST) techniques constitute an attractive and practical solution to the difficult problem of testing VLSI circuits and systems. Among the BIST techniques the Comparative Concurrent BIST (C-BIST) has ...

  • Task Synchronization for Distributed Real-Time Applications 

    Mourlas, Constantin; Halatsis, Constantin (IEEE, 1997)
    The authors present a new synchronization strategy for real-time tasks executed in a distributed environment. This strategy makes the timing properties of the system predictable since one is able to determine analytically ...

  • R-CBIST: An Effective RAM-based Input Vector Monitoring Concurrent BIST Technique 

    Voyiatzis, Ioannis; Paschalis, Antonis; Nikolos, D.; Halatsis, Constantin (IEEE, 1998)
    In this paper a novel input vector monitoring concurrent BIST technique based on a RAM (R-CBIST) is presented. This technique compares favorably to the other input vector monitoring concurrent BIST techniques proposed so ...

  • Exhaustive and Pseudoexhaustive Built-In Two-Pattern Generation for Datapaths 

    Voyiatzis, Ioannis; Paschalis, A.; Nikolos, D.; Halatsis, Constantin (1998)
    In this paper a novel Carry-rotate Accumulator-based Two-pattern (CAT) Test Generator is introduced that utilizes arithmetic modules existing in datapaths in order to generate exhaustive and pseudo-exchaustive two-patterns ...

  • Ο Ιωάννης Απόκαυκος και η σχέση του με την επισκοπή Ιωαννίνων κατά τα τελευταία χρόνια της ζωής του 

    Katsaros, Vasilis (Πανεπιστήμιο Ιωαννίνων, Φιλοσοφική σχολή, 2001)
    Τα τελευταία χρόνια της ζωής του μητροπολίτη Ναυπάκτου 'Ιωάννου Άποκαυκου καλύπτονται από ένα πέπλο που σκεπάζει αμφιβολίες και αβεβαιότητες σε τέτοιο βαθμό,, ωστε να μην εχει ξεκαθαριστεϊ πληρως, ως σημερα ακόμη, το ...

  • ALU-based Built-In Self Test Generator for Transition Fault Testing 

    Voyiatzis, Y.; Kranitis, N.; Paschalis, A.; Gizopoulos, D.; Halatsis, Constantin (2002)
    The detection of transition faults in high-speed CMOS circuits if favored by the application of Single Input Change (SIC) pairs of patterns. A novel ALU-based SIC pair Generation (ASG) algorithm is presented that can be ...

  • Accumulator-based built-in self-test generator for robustly detectable sequential fault testing 

    Voyiatzis, Ioannis; Kranitis, N.; Gizopoulos, D.; Paschalis, A.; Halatsis, Constantin (2004-11)
    In this paper an algorithm for the generation of single input change (SIC) pairs is presented, termed the accumulator-based SIC pair generation (ASG) algorithm; SIC pairs have been effectively utilised for testing robustly ...

  • Optimal Periodic Testing of Intermittent Faults In Embedded Pipelined Processor Applications 

    Kranitis, N.; Merentitis, A.; Laoutaris, N.; Theodorou, G.; Paschalis, A.; Gizopoulos, D.; Halatsis, Constantin (IEEE Xplore, 2006)
    Today's nanometer technology trends have a very negative impact on the reliability of semiconductor products. Intermittent faults constitute the largest part of reliability failures that are manifested in the field during ...

  • Creating an Historical Archive Ontology: Guidelines and Evaluation 

    Torou, Elena; Katifori, Akrivi; Vassilakis, Costas; Lepouras, Georgios; Halatsis, Constantin (IEEE Xplore, 2006)
    Ontologies have been proven invaluable tools both for the semantic web and for personal information management. In the context of a historical archive an ontology may provide meaningful and efficient support for search ...

  • A Context-Based Adaptive Visualization Environment 

    Golemati, Maria; Halatsis, Constantin; Vassilakis, Costas; Katifori, Akrivi; Lepouras, Georgios (IEEE, 2006)
    Digital libraries and historical archives are increasingly employing visualization systems to facilitate the information retrieval and knowledge extraction tasks of their users. Typically, each organization employs a single ...

  • Visualizing a Temporally – Enhanced Ontology 

    Katifori, Akrivi; Vassilakis, Costas; Lepouras, Georgios; Daradimos, Ilias; Halatsis, Constantin (2006)
    Most ontology development methodologies and tools for ontology management deal with ontology snapshots, i.e. they model and manage only the most recent version of ontologies, which is inadequate for contexts where the ...