Articles
Browse by
Recent Submissions
-
Θεολογία, φιλοσοφία και επιστήμη κατά τους τρεις Ιεράρχες
(2013)Οι Τρεις Ιεράρχες που καθιερώθηκαν δικαίως στη νεώτερη ιστορία του Ελληνικού Έθνους ως οι προστάτες και στυλοβάτες της ελληνικής παιδείας αποτελούν για όλους μας, εκπαιδευτικούς και εκπαιδευομένους, πηγή εμπνεύσεως και ...
-
Performance of crossbar interconnection networks in presence of ‘hot spots’
(The Institution of Electrical EngineersErrata or comment, 1988-02-04)In the letter we present an interference analysis of an N × N crossbar for a tightly coupled multiprocessor in the presence of ‘hot spot’ traffic conditions. The analysis shows that this hot spot traffic model includes the ...
-
Efficient modular design of TSC checkers for m-out-of-2m codes
(IEEE, 1988-03)A design method of totally self-checking (TSC) m-out-of-2 m code checkers is presented. The design is composed basically of two full-adder/half-adder trees, each summing up the ones received on m input lines, and a k-variable ...
-
L-machine: A low-cost personal sequential inference machine
(Elsevier Inc., 1989-05)This paper presents the architecture of a new low-cost sequential inference machine, called the L-machine. The machine is part of the UTHL-Prolog system and is specialized in the execution of the so-called L-code into which ...
-
Concurrently totally self-checking microprogram control unit with duplication of microprogram sequencer
(Elsevier Inc., 1987-05)This paper presents a new design method for concurrently Totally Self-Checking Microprogram Control Units of bit-slice microprocessors. We consider a fault model that includes arbitrary failures in a single IC package and ...
-
Analysis of a Modified Model for Synchronous Multiprocessor Systems
(Elsevier Inc., 1986-11)The paper presents an analysis of a modified model for synchronous multiprocessor systems. In this model, besides the shared memory modules, each processor has a private memory. The memory references of each processor are ...
-
Performance analysis of interconnection networks of a modified model for synchronous multiprocessors
(IET, 1986-02-13)The letter presents an analysis of a modified model for synchronous multiprocessor systems. In this model, besides the shared memory modules, each processor has a private memory. The memory references of each processor are ...
-
Abstract data type support in prolog and its relatio to parallelism
(ACM, 1994)Abstract Data Type (ADT) support extends the variety of a system's types and facilitates code development, specification and verification. Moreover, when supported in a parallel environment, parallelism can be more easily ...
-
Fast and Efficient TSC-Checkers for m-out-of (2m ± 1) codes
(IEEE, 1983-06)This note is concerned with the design of fast totally self-checking checkers for m-out-of-(2m ± 1) codes. The new method uses only three levels of gates, and is based on the partitioning of the input lines into m blocks ...
-
Near-Perfect Codes for Binary-Coded Radix-r Arithmetic Units
(IEEE, 1983-05)This paper considers AN arithmetic codes with radix r > 2 and binary-coded digits (BCr) using weights. The error-correcting capability of the AN codes is single bit within any BCr digit, that is, the corrected errors are ...
-
Predictive Automated Negotiators Employing Risk-Seeking and Risk-Averse Strategies
(Springer Verlag, 2011)Intelligent agents that seek to automate various stages of the negotiation process are often enhanced with models of computational intelligence extending the cognitive abilities of the parties they represent. This paper ...
-
A New Design Method for m-out-of-n Totally Self-Checking Checkers
(IEEE, 1983-03)The paper presents a new method for designing efficient TSC checkers for m-out-of n codes. The method is based on the partitioning of the input code variables into an arbitrary number of r classes. The paper establishes ...
-
Error-Correcting Codes in Binary-Coded Radix-r Arithmetic
(IEEE, 1983-03)This paper presents a new class of AN codes of high efficiency capable of correcting single errors in radix-r arithmetic with the binary coded digits—BCr—system. The errors corrected within a single radix-r digit are single ...
-
Using an affective multimedia learning framework for distance learning to motivate the learner effectively
(Inderscience, 2011)The aim of this paper is to present the affective multimedia learning framework of the MENTOR as well as the web and multimedia technologies which were used for its implementation. The MENTOR is an affective web-based ...
-
Microcomputer implemented random and key stream generating mechanisms
(Elsevier Ltd, 1980-05)Microprocessor implementations of specialized algorithms used in data encryption applications are recently of increasing interest. This paper summarizes a class of matrix-form shift register based algorithms and describes ...
-
Historical research in archives: user methodology and supporting tools
(Springer, 2011)Historic research involves finding, using, and correlating information within primary and secondary sources, in order to communicate an understanding of past events. In this process, historians employ their scientific ...
-
Simulation of a Horizontal Bit-Sliced Processor Using the ISPS Architecture Simulation Facility
(IEEE, 1981-07)The microprogrammed filter engine (MICE) is a fast, microprogrammable processor built with ECL bit slices (Motorola ECL 10800 series) intended primarily to be used as an on-line data filtering engine for high energy physics ...
-
Positive Fail-Safe Realization of Synchronous Sequential Machines
(IEEE, 1979-02)The correspondence deals with the fail-safe realization of synchronous sequential machines under the assumption that the next-state functions are in any positive form. This leads to new classes of assignments called positive ...
-
Two-level Clustering of Web Sites Using Self-Organizing Maps
(Springer, 2007)Web sites contain an ever increasing amount of information within their pages. As the amount of information increases so does the complexity of the structure of the web site. Consequently it has become difficult for visitors ...
-
Specifying and Validating Requirements: The VENUS System
(Prentice Hall, 1994-03)Requirements specification and validation is recognized as a crucial part of the information systems' development process. This paper presents the VENUS integrated environment for requirements engineering. The underlying ...
RSS 1.0