Information Processing 94: Technology and Foundations Vol 1
Elsevier (Publisher)
Published on 24. August 1994
Book
Paperback/Softback
656 pages
978-0-444-81989-5 (ISBN)
Description
This 3-volume publication explores the driving forces that will shape the computing and communications industry, applications and research over the next 5 years. It includes invited and submitted presentations from intemational experts on the state-of-the-art (highlighting a global orientation) and debates on 8 critical linking issues selected for highly interactive discussion, with emphasis on those areas which intersect. Volume I considers: Hardware and Software Technology; Theoretical Foundations of Computing. Volume 2 examines: Computer and Communications Applications; Social Impact of Computers and Communications. Volume 3 investigates: Computers and Communications for Developing Countries; plus the Linking Issues. As a whole, the multi-volume provides a consolidated source of information which it is hoped will stimulate continuing activity and research in the field. Volume I Technology and Foundations Volume edited by B. Pehrson, Swedish Institute of Computer Science, Royal Institute of Technology, Kista, Sweden and 1.
Simon, Universidad de Sao Paulo, Institute de Matematica e Estatistica, Sao Paulo, Brazil IFIP Transactions A: Computer Science and Technology Volume A-51 The first volume of Information Processing 94 is divided into 2 sections: Hardware and Software Technology; Theoretical Foundations of Computing. The former commences with invited papers discussing the physical limits for computing and communication and examining developments in key areas of hardware and software. The following contributed papers are grouped into 6 sessions: system design, wireless networking; user interfaces; software; distributed systems and networking; hardware. The second section represents a positive collaboration from within the theoretical community. It is split into 6 subsections: algorithms and complexity; semantics; evolving algebras; finite automata; general purpose parallel computing; information based complexity and program speedups in practice and theory. These sessions reflect a great coherence on important and active areas of theoretical computer science and produce a dense program in well delimited areas of research.
This 3-volume publication explores the driving forces that will shape the computing and communications industry, applications and research over the next 5 years. It includes invited and submitted presentations from intemational experts on the state-of-the-art (highlighting a global orientation) and debates on 8 critical linking issues selected for highly interactive discussion, with emphasis on those areas which intersect. Volume I considers: Hardware and Software Technology; Theoretical Foundations of Computing. Volume 2 examines: Computer and Communications Applications; Social Impact of Computers and Communications. Volume 3 investigates: Computers and Communications for Developing Countries; plus the Linking Issues. As a whole, the multi-volume provides a consolidated source of information which it is hoped will stimulate continuing activity and research in the field. Volume I Technology and Foundations Volume edited by B. Pehrson, Swedish Institute of Computer Science, Royal Institute of Technology, Kista, Sweden and 1.
Simon, Universidad de Sao Paulo, Institute de Matematica e Estatistica, Sao Paulo, Brazil IFIP Transactions A: Computer Science and Technology Volume A-51 The first volume of Information Processing 94 is divided into 2 sections: Hardware and Software Technology; Theoretical Foundations of Computing. The former commences with invited papers discussing the physical limits for computing and communication and examining developments in key areas of hardware and software. The following contributed papers are grouped into 6 sessions: system design, wireless networking; user interfaces; software; distributed systems and networking; hardware. The second section represents a positive collaboration from within the theoretical community. It is split into 6 subsections: algorithms and complexity; semantics; evolving algebras; finite automata; general purpose parallel computing; information based complexity and program speedups in practice and theory. These sessions reflect a great coherence on important and active areas of theoretical computer science and produce a dense program in well delimited areas of research.
Simon, Universidad de Sao Paulo, Institute de Matematica e Estatistica, Sao Paulo, Brazil IFIP Transactions A: Computer Science and Technology Volume A-51 The first volume of Information Processing 94 is divided into 2 sections: Hardware and Software Technology; Theoretical Foundations of Computing. The former commences with invited papers discussing the physical limits for computing and communication and examining developments in key areas of hardware and software. The following contributed papers are grouped into 6 sessions: system design, wireless networking; user interfaces; software; distributed systems and networking; hardware. The second section represents a positive collaboration from within the theoretical community. It is split into 6 subsections: algorithms and complexity; semantics; evolving algebras; finite automata; general purpose parallel computing; information based complexity and program speedups in practice and theory. These sessions reflect a great coherence on important and active areas of theoretical computer science and produce a dense program in well delimited areas of research.
This 3-volume publication explores the driving forces that will shape the computing and communications industry, applications and research over the next 5 years. It includes invited and submitted presentations from intemational experts on the state-of-the-art (highlighting a global orientation) and debates on 8 critical linking issues selected for highly interactive discussion, with emphasis on those areas which intersect. Volume I considers: Hardware and Software Technology; Theoretical Foundations of Computing. Volume 2 examines: Computer and Communications Applications; Social Impact of Computers and Communications. Volume 3 investigates: Computers and Communications for Developing Countries; plus the Linking Issues. As a whole, the multi-volume provides a consolidated source of information which it is hoped will stimulate continuing activity and research in the field. Volume I Technology and Foundations Volume edited by B. Pehrson, Swedish Institute of Computer Science, Royal Institute of Technology, Kista, Sweden and 1.
Simon, Universidad de Sao Paulo, Institute de Matematica e Estatistica, Sao Paulo, Brazil IFIP Transactions A: Computer Science and Technology Volume A-51 The first volume of Information Processing 94 is divided into 2 sections: Hardware and Software Technology; Theoretical Foundations of Computing. The former commences with invited papers discussing the physical limits for computing and communication and examining developments in key areas of hardware and software. The following contributed papers are grouped into 6 sessions: system design, wireless networking; user interfaces; software; distributed systems and networking; hardware. The second section represents a positive collaboration from within the theoretical community. It is split into 6 subsections: algorithms and complexity; semantics; evolving algebras; finite automata; general purpose parallel computing; information based complexity and program speedups in practice and theory. These sessions reflect a great coherence on important and active areas of theoretical computer science and produce a dense program in well delimited areas of research.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
ISBN-13
978-0-444-81989-5 (9780444819895)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Editor
Swedish Institute of Computer Science, Royal Institute of Technology, Kista, Sweden
Universidad de Sao Paulo, Instituto de Matematica e Estatistica, Sao Paulo, Brazil
Content
Hardware and Software Technology. Expert and Invited Lectures. 7 invited papers: Physical limits for computing and communication (Y Yamamoto, I. Chuang). C&C integration - how does industry cope? (J. Swerup, D. Suk, P Berqvist). The evolution of personal computing and communications environments (K. Blakeslee, I. Sugarbroad). Centralised management in a distributed world (R.C. Williams). The theory and practice of a formal method: NewCoRe (G. Holzmann). From data management to information exploitation (B. Lindsay). Telesensation distributed interactive virtual reality (N. Terashima). Contributed Lectures. System Design. 4 papers. Wireless Networking. 3 papers. User Interfaces. 3 papers. Software. 4 papers. Distributed Systems and Networking. 3 papers. Hardware. 4 papers. Theoretical Foundations of Computing. Expert and Invited Lectures. 8 invited papers: Applications of PRAMS in telecommunications (R. Drefenstedt, J. Keller, W.J. Paul). The design and analysis of geometric algorithms (L. Guibas). The structure of the complexity of computations: a guided tour through complexity classes (J. Hartmanis). The travelling salesman problem: a report on the state of the art (D.S. Johnson). The implementation of geometric algorithms (K. Mehlhorn, S. Naher). Computing is interaction (R. Milner). A computational model for cognition (L.G. Valiant). The wonders of the digital envelope - a crash course in modem cryptography (A. Wigderson). Algorithms and Complexity. 11 papers. Semantics. 10 papers. Evolving Algebras. 11 papers, 3 invited: Logic programming: the evolving algebra approach (E. Borger). Evolving algebras (Y Gurevich). Distributed computations: evolving algebra approach (D. Rosenzweig). Finite Automata. 10 papers, 3 invited: On a conjecture of Brzozowski (A. de Luca, S. Varricchio). Automata on infinite words (D. Perrin). Finite-state recognisability and logic: from words to graphs W. Thomas). General Purpose Parallel Computing. 11 papers, I invited: Scalable parallel computing: a grand unified theory and its practical development (W.F. McColl). Information Based Complexity and Program Speedups in Practice and Theory. 9 papers, 4 invited: Partial evaluation for program speedups (O.Danvy). Complexity theory and Monte Carlo algorithms in numerical analysis (St. Heinrich). Program speedups in theory and practice (N.D. Jones). On strong tractability of multivariate problems (G.W. Wasilkowski, H. Wozniakowski).