https://arxiv.org/api/YAM1HRSp4s/uiPU3Ob3YT1UGxLs 2026-06-10T13:15:49Z 239 225 15 http://arxiv.org/abs/cs/0210001v1 2002-10-01T01:37:42Z

We discuss the scientific contributions of Edsger Wybe Dijkstra, his opinions and his legacy.

2002-10-01T01:37:42Z 10 pages. To appear in Formal Aspects of Computing Krzysztof R. Apt http://arxiv.org/abs/cs/0110018v2 2001-10-22T21:02:46Z

ENUM marks either the convergence or collision of the public telephone network with the Internet. ENUM is an innovation in the domain name system (DNS). It starts with numerical domain names that are used to query DNS name servers. The servers respond with address information found in DNS records. This can be telephone numbers, email addresses, fax numbers, SIP addresses, or other information. The concept is to use a single number in order to obtain a plethora of contact information. By convention, the Internet Engineering Task Force (IETF) ENUM Working Group determined that an ENUM number would be the same numerical string as a telephone number. In addition, the assignee of an ENUM number would be the assignee of that telephone number. But ENUM could work with any numerical string or, in fact, any domain name. The IETF is already working on using E.212 numbers with ENUM. [Abridged]

2001-10-04T17:35:18Z 29th TPRC Conference, 2001 Robert Cannon http://arxiv.org/abs/cs/0106022v1 2001-06-11T14:11:22Z

Computer scientists are in the position to create new, free high-quality journals. So what would it take?

2001-06-11T14:11:22Z Taken from http://www.acm.org/pubs/citations/journals/cacm/2001-44-5/p25-apt/ Posted with permission of the ACM Communications of ACM, 44(5), pp. 25-28 Krzysztof R. Apt http://arxiv.org/abs/cs/0101011v1 2001-01-15T02:31:54Z

This short note reports a master theorem on tight asymptotic solutions to divide-and-conquer recurrences with more than one recursive term: for example, T(n) = 1/4 T(n/16) + 1/3 T(3n/5) + 4 T(n/100) + 10 T(n/300) + n^2.

2001-01-15T02:31:54Z SIGACT News, 28(2):67--69, June 1997 Ming-Yang Kao http://arxiv.org/abs/cs/0012003v1 2000-12-11T06:58:06Z

Issues related to a materialist philosophy are explored as concerns the implied equivalence of computers running software and human observers. One issue explored concerns the measurement process in quantum mechanics. Another issue explored concerns the nature of experience as revealed by the existence of dreams. Some difficulties stemming from a materialist philosophy as regards these issues are pointed out. For example, a gedankenexperiment involving what has been called "negative" observation is discussed that illustrates the difficulty with a materialist assumption in quantum mechanics. Based on an exploration of these difficulties, specifications are outlined briefly that would provide a means to demonstrate the equivalence of of computers running software and human experience given a materialist assumption.

2000-12-11T06:58:06Z 20 pages Douglas M. Snyder http://arxiv.org/abs/quant-ph/9905043v2 2000-04-07T23:42:37Z

We demonstrate that complete set of gates can be realized in a DXD superconducting solid state quantum computer (quamputer), thereby proving its universality.

1999-05-13T21:44:55Z 4 pages, 2 figures Physical Review A, v.61, 042308 (2000) Alexandre Blais Alexandre M. Zagoskin 10.1103/PhysRevA.61.042308 http://arxiv.org/abs/cs/0001016v1 2000-01-21T05:31:08Z

We discuss the use of projects in first-year graduate complexity theory courses.

2000-01-21T05:31:08Z Updated version of Complexity Theory Column 20, Sigact News 29(2):9-13, 1998 Lane A. Hemaspaandra http://arxiv.org/abs/quant-ph/9809016v2 2000-01-19T01:48:39Z

Richard Feynman's observation that quantum mechanical effects could not be simulated efficiently on a computer led to speculation that computation in general could be done more efficiently if it used quantum effects. This speculation appeared justified when Peter Shor described a polynomial time quantum algorithm for factoring integers. In quantum systems, the computational space increases exponentially with the size of the system which enables exponential parallelism. This parallelism could lead to exponentially faster quantum algorithms than possible classically. The catch is that accessing the results, which requires measurement, proves tricky and requires new non-traditional programming techniques. The aim of this paper is to guide computer scientists and other non-physicists through the conceptual and notational barriers that separate quantum computing from conventional computing. We introduce basic principles of quantum mechanics to explain where the power of quantum computers comes from and why it is difficult to harness. We describe quantum cryptography, teleportation, and dense coding. Various approaches to harnessing the power of quantum parallelism are explained, including Shor's algorithm, Grover's algorithm, and Hogg's algorithms. We conclude with a discussion of quantum error correction.

1998-09-08T19:02:58Z 45 pages. To appear in ACM Computing Surveys. LATEX file. Exposition improved throughout thanks to reviewers' comments ACM Comput.Surveys 32:300-335,2000 Eleanor G. Rieffel Wolfgang Polak http://arxiv.org/abs/cs/9911005v1 1999-11-11T23:05:28Z

Charles Babbage's vision of computing has largely been realized. We are on the verge of realizing Vannevar Bush's Memex. But, we are some distance from passing the Turing Test. These three visions and their associated problems have provided long-range research goals for many of us. For example, the scalability problem has motivated me for several decades. This talk defines a set of fundamental research problems that broaden the Babbage, Bush, and Turing visions. They extend Babbage's computational goal to include highly-secure, highly-available, self-programming, self-managing, and self-replicating systems. They extend Bush's Memex vision to include a system that automatically organizes, indexes, digests, evaluates, and summarizes information (as well as a human might). Another group of problems extends Turing's vision of intelligent machines to include prosthetic vision, speech, hearing, and other senses. Each problem is simply stated and each is orthogonal from the others, though they share some common core technologies

1999-11-11T23:05:28Z MS word original: http://research.microsoft.com/~gray/papers/MS_TR_99_50_TuringTalk.doc Jim Gray http://arxiv.org/abs/cs/9907014v1 1999-07-08T23:16:17Z

In this short article, we look at an old logical puzzle, its solution and proof and discuss some interesting aspects concerning its representation in a logic programming language like Prolog. We also discuss an intriguing information theoretic aspect of the puzzle.

1999-07-08T23:16:17Z 17 pgs; dbl spc Anand Venkataraman Ray Kemp http://arxiv.org/abs/cs/9904016v1 1999-04-22T15:47:22Z

The goal of this paper is to define and analyze systems which exhibit brittle behavior. This behavior is characterized by a sudden and steep decline in performance as the system approaches the limits of tolerance. This can be due to input parameters which exceed a specified input, or environmental conditions which exceed specified operating boundaries. An analogy is made between brittle commmunication systems in particular and materials science.

1999-04-22T15:47:22Z Stephen F. Bush John Hershey Kirby Vosburgh http://arxiv.org/abs/cs/9811005v1 1998-11-01T17:44:15Z

Each researcher should have a full shelf---physical or virtual---of books on writing and editing prose. Though we make no claim to any special degree of expertise, we recently edited a book of complexity theory surveys (Complexity Theory Retrospective II, Springer-Verlag, 1997), and in doing so we were brought into particularly close contact with the subject of this article, and with a number of the excellent resources available to writers and editors. In this article, we list some of these resources, and we also relate some of the adventures we had as our book moved from concept to reality.

1998-11-01T17:44:15Z 11 pages. Will appear in the SIGACT News Complexity Theory Column Lane A. Hemaspaandra Alan L. Selman http://arxiv.org/abs/cs/9809010v1 1998-09-02T19:39:25Z

All information about physical objects including humans, buildings, processes, and organizations will be online. This trend is both desirable and inevitable. Cyberspace will provide the basis for wonderful new ways to inform, entertain, and educate people. The information and the corresponding systems will streamline commerce, but will also provide new levels of personal service, health care, and automation. The most significant benefit will be a breakthrough in our ability to remotely communicate with one another using all our senses. The ACM and the transistor were born in 1947. At that time the stored program computer was a revolutionary idea and the transistor was just a curiosity. Both ideas evolved rapidly. By the mid 1960s integrated circuits appeared -- allowing mass fabrication of transistors on silicon substrates. This allowed low-cost mass-produced computers. These technologies enabled extraordinary increases in processing speed and memory coupled with extraordinary price declines. The only form of processing and memory more easily, cheaply, and rapidly fabricated is the human brain. Peter Cohrane (1996) estimates the brain to have a processing power of around 1000 million-million operations per second, (one Petaops) and a memory of 10 Terabytes. If current trends continue, computers could have these capabilities by 2047. Such computers could be 'on body' personal assistants able to recall everything one reads, hears, and sees.

1998-09-02T19:39:25Z Original document at: http://research.microsoft.com/~gray/Revolution.doc C. Gordon Bell Jim Gray http://arxiv.org/abs/cs/9301114v1 1991-11-01T00:00:00Z

The author argues to Silicon Valley that the most important and powerful part of computer science is work that is simultaneously theoretical and practical. He particularly considers the intersection of the theory of algorithms and practical software development. He combines examples from the development of the TeX typesetting system with clever jokes, criticisms, and encouragements.

1991-11-01T00:00:00Z Abstract added by Greg Kuperberg Theoretical Comp. Sci. 90 (1991), 1--15 Donald E. Knuth