Results 311 to 320 of about 3,053,426 (341)
Some of the next articles are maybe not open access.
2008
Abstract Before we can use a computer as a tool for scientific computing, we must gain a basic understanding of key concepts concerning physical components, communication protocols and procedures, programming, and the design of computational strategies implemented in algorithms.
openaire +1 more source
Abstract Before we can use a computer as a tool for scientific computing, we must gain a basic understanding of key concepts concerning physical components, communication protocols and procedures, programming, and the design of computational strategies implemented in algorithms.
openaire +1 more source
1995
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +1 more source
Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether verification technology could cope with the problems of scale and complexity.
openaire +1 more source
1986
Recent years have seen considerable progress in computer technology, in computer science, and in the computational sciences, which include computational chemistry. To a large extent developments in these fields have been mutually dependent. Progress in computer technology — such as the use of very-large-scale integrated circuits — has led to ...
openaire +1 more source
Recent years have seen considerable progress in computer technology, in computer science, and in the computational sciences, which include computational chemistry. To a large extent developments in these fields have been mutually dependent. Progress in computer technology — such as the use of very-large-scale integrated circuits — has led to ...
openaire +1 more source
Computer vs Computer via Computer
ICGA Journal, 1984Breikreutz, Tim, Schaeffer, Jonathan
openaire +1 more source
Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science
1970Publisher Summary As scientific and technological tools, computers have proved so useful that computer science is widely regarded as a technological discipline whose purpose is to create problem-solving tools for other disciplines. Within computer science there is a group of theoreticians who build mathematical models of computational processes.
openaire +1 more source
Symposium on Theoretical Aspects of Computer Science, 2017
V. Brattka, R. Hölzl, R. Kuyper
semanticscholar +1 more source
V. Brattka, R. Hölzl, R. Kuyper
semanticscholar +1 more source
Asynchronous Computability Theorems for t-Resilient Systems
International Symposium on Distributed Computing, 2016V. Saraph, Maurice Herlihy, E. Gafni
semanticscholar +1 more source