Results 241 to 250 of about 2,980,350 (288)
Some of the next articles are maybe not open access.
Automated hoarding for mobile computers
Proceedings of the sixteenth ACM symposium on Operating systems principles, 1997A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the user’s files for local storage. We describe a hoarding system that can operate without user intervention, by observing user activity and predicting future needs.
Geoffrey H. Kuenning, Gerald J. Popek
openaire +1 more source
Electrical Engineering, 1959
IN THE BRIEF SPAN of years since the closing days of World War II, we have witnessed a technological development in computers of such broad proportions that it is still impossible to appraise its far reaching effects adequately. Perhaps, the best way to express the enormous influence of this revolution is simply to point out that practically all of man'
openaire +1 more source
IN THE BRIEF SPAN of years since the closing days of World War II, we have witnessed a technological development in computers of such broad proportions that it is still impossible to appraise its far reaching effects adequately. Perhaps, the best way to express the enormous influence of this revolution is simply to point out that practically all of man'
openaire +1 more source
Automated Proofs for Computational Indistinguishability
The Computer Journal, 2013We present a tool for automatic analysis of computational indistinguishability between two strings of information. This is designed as a generic tool for proving cryptographic security based on a formalism that provides computational soundness preservation. The tool has been implemented and tested successfully with several cryptographic schemes.
Ngo, Long +2 more
openaire +2 more sources
Design automation in network computers
Proceedings of the ninth design automation workshop on Design automation - DAC '72, 1972Network computers are becoming a reality in the seventies. While systems such as the ARPA Network, Carnegie Mellon's PLN, the Collins C-System, CDC's Cybernet, and GE's Time Share Net are coming to fruition, even more grandiose systems are being discussed.
openaire +2 more sources
Computer automation in veterinary hospitals
Seminars in Veterinary Medicine and Surgery: Small Animal, 1996Computers have been used to automate complex and repetitive tasks in veterinary hospitals since the 1960s. Early systems were expensive, but their use was justified because they performed jobs which would have been impossible or which would have required greater resources in terms of time and personnel had they been performed by other methods.
openaire +2 more sources
Automated Abduction for Computer Forensics
2006This paper describes a diagnostic system designed to aid an investigator to determine how a computer intrusion was accomplished. This wants to be a decision support by figuring out how a hacker created an unauthorized computer account. The diagnostic of this system is based on automated abduction. Abduction is inference that begins with data describing
Andrei Doncescu, Katsumi Inoue
openaire +1 more source
A computer system for automation of a laboratory
Proceedings of the December 9-11, 1968, fall joint computer conference, part II on - AFIPS '68 (Fall, part II), 1968In the past, scientists have applied the digital computer in an off-line fashion to the problems of analyzing the voluminous data produced by their laboratory instruments. The use of computer techniques for digital filtering, peak finding, and spectral decomposition has greatly increased the rate at which experimental data can be analyzed.
P. J. Friedl +3 more
openaire +1 more source
An Organic Computing System for Automated Testing
2021Testing is a vital part of the development of a new software product. With the rise of test automation, companies more and more rely on large sets of test cases. This leads to situations in which it is unfeasible to run all tests due to a limited time budget which eventually results in the need for selecting an optimal subset of tests to execute ...
Lukas Rosenbauer +3 more
openaire +1 more source
Automated computer card design
Proceedings of the 1961 16th ACM national meeting on -, 1961In recent years, within the computer industry greater and greater efforts have been placed upon the problem of designing computers through the use of computers, a form of self regeneration. The problems encountered in such an endeavor can be divided into three general classes: a.
L. Steinberg, Bernard Kolman
openaire +2 more sources
Automating GPU computing in MATLAB
Proceedings of the international conference on Supercomputing, 2011MATLAB is a popular software platform for scientific and engineering software writers. It offers a high level of abstraction for fundamental mathematical operations and extensive highly optimized domain-specific libraries for several scientific and engineering disciplines. With the recent availability of GPU libraries for MATLAB, it has become possible
Chun-Yu Shei +2 more
openaire +2 more sources