Discover published sets by community

In this paper, Turing introduces the concept of a universal machine that can compute any computable sequence. He presents the Turing machine, a theoretical construct that has become the foundation of modern computer science. The paper also addresses the Entscheidungsproblem, a challenge in mathematical logic proposed by David Hilbert. Publication Year: 1936

von Neumann's report describes the design of the Electronic Discrete Variable Automatic Computer (EDVAC), one of the first digital computers. It introduced the concept of stored-program architecture, which is still used in computers today. Publication Year: 1945

This technical reference document defines the specifications for the Java programming language. Providing a detailed description of all language features and elements, it serves as the definitive reference for Java programmers. Publication Year: 1996

This manual describes LISP 1.5, an early programming language, which was influential in the development of the field of artificial intelligence. The manual provides the language's specifications and features, demonstrating its unique approach to computation through recursive functions and list-processing. Publication Year: 1962

Kahn and Cerf's paper lays the foundation for the design of the Transmission Control Protocol (TCP) and the Internet Protocol (IP), which form the basis of the internet. The work addresses issues of packet-switched network intercommunication and system design. Publication Year: 1974

This paper discusses the concept of trusting trust in the context of software, illustrating how compilers can be subverted to insert malicious code without the source code being altered. It heightened awareness of software security vulnerabilities. Publication Year: 1984

This paper proposes the RSA algorithm, the first publicly known public-key cryptography algorithm, used for secure data transmission. It has been fundamental in enabling secure communications over the internet. Publication Year: 1978

Torvalds' release note on the linux-kernel mailing list is considered the birth announcement of Linux, an open-source operating system kernel that has become ubiquitous in servers, desktops, and embedded systems around the world. Publication Year: 1991

This paper introduces the architecture of the Sun workstation, known for its innovative network-based computing design and use of UNIX. The Sun workstation played a significant role in the development of networked computing environments. Publication Year: 1982

This work introduces the concepts of public key cryptography and digital signatures, revolutionizing the field of secure communication. Hellman and Diffie's paper is pivotal in that it changed how security mechanisms are built in computational systems. Publication Year: 1976

This foundational work by Shannon laid out the blueprint for the digital communication theory. The paper introduces key concepts like the bit as a measure of information, channel capacity, and noise. It's a seminal work that fused concepts from electrical engineering and computer science. Publication Year: 1948

Bush's article proposes the idea of a 'memex', a mechanized system to store and retrieve information. The concept foresaw hypertext and personal computing, prefiguring search engines and the World Wide Web. Publication Year: 1945

Dijkstra's letter to the editor presents arguments against the use of the GOTO statement in programming, advocating for structured programming practices. This paper heavily influenced the practice of programming and led to the widespread adoption of structured programming languages. Publication Year: 1968

Knuth's multi-volume series covers various aspects of algorithm design and analysis. Although not a single paper, this work is monumental in the field of computer programming, presenting algorithms, data structures, and the theory of computation. Publication Year: 1968-