Results 261 to 270 of about 32,367 (309)
Some of the next articles are maybe not open access.
Termination detection for distributed computations
Information Processing Letters, 1984Abstract A simple derivation of a general solution to the problem of detecting the termination of a distributed computation is presented.
openaire +1 more source
Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall), 1971
Five years ago, the price of admission into Interactive Computer Graphics was spending about $50,000 or more for the Graphics Terminal and associated hardware, plus writing almost all of the applications software, as well as much of the basic software. And, only about a dozen suppliers offered commercial equipment.
openaire +1 more source
Five years ago, the price of admission into Interactive Computer Graphics was spending about $50,000 or more for the Graphics Terminal and associated hardware, plus writing almost all of the applications software, as well as much of the basic software. And, only about a dozen suppliers offered commercial equipment.
openaire +1 more source
The terminal IMP for the ARPA computer network
Proceedings of the November 16-18, 1971, fall joint computer conference on - AFIPS '71 (Fall), 1971A little over three years ago the Advanced Research Projects Agency of the Department of Defense (ARPA) began implementation of an entirely new venture in computer communications: a network that would allow for the interconnection, via common-carrier circuits, of dissimilar computers at widely separated, ARPA-sponsored research centers.
Severo M. Ornstein +5 more
openaire +1 more source
Computer terminal work and the benefit of microbreaks
Applied Ergonomics, 2001Microbreaks are scheduled rest breaks taken to prevent the onset or progression of cumulative trauma disorders in the computerized workstation environment. The authors examined the benefit of microbreaks by investigating myoelectric signal (MES) behavior, perceived discomfort, and worker productivity while individuals performed their usual keying work.
L, Mclean +3 more
openaire +2 more sources
Computer terminals for the blind
Electronics and Power, 1972A variety of devices are now available for the sightless computer user to work with computer terminals.
openaire +1 more source
The Computer Terminal as a Simulator
Journal of European Industrial Training, 1981The traditional distinction between computer‐assisted learning and simulator training is becoming increasingly blurred. Computers play an important part in training simulators and in turn computer‐assisted learning uses simulation techniques. In addition, a number of developments are reviewed which point to an increasing use of the computer terminal as
openaire +1 more source
On the termination of simple computer programs
1976In the area of semantics of programming languages the problem of calculating the termination domain (the set of inputs for which a program terminates) is considered: For simple non-nested loop-programs compile-time testable conditions are given such that the resp. programs are total (terminate for all inputs). Auxiliary tool is a global (=mathematical)
openaire +1 more source
Extensions of arithmetic for proving termination of computations
Journal of Symbolic Logic, 1989AbstractKirby and Paris have exhibited combinatorial algorithms whose computations always terminate, but for which termination is not provable in elementary arithmetic. However, termination of these computations can be proved by adding an axiom first introduced by Goodstein in 1944. Our purpose is to investigate this axiom of Goodstein, and some of its
Clement F. Kent, Bernard R. Hodgson
openaire +1 more source
Termination of Fair Computations in Term Rewriting
2005The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving automatically the termination of concurrent systems under fairness assumptions. We adopt the thesis that a concurrent system can be naturally modeled as a rewrite system, and develop a ...
Salvador Lucas, José Meseguer 0001
openaire +1 more source
An algorithm for an intelligent Arabic computer terminal
International Journal of Man-Machine Studies, 1984Abstract A novel method of eliminating unnecessary keys at the Arabic terminal is suggested. Intelligence is provided for the terminal in such a way that the shape of a letter inputted by the operator is determined by the terminal rather than by the operator, as is customary now.
openaire +1 more source