Technology and foundations
著者
書誌事項
Technology and foundations
（IFIP transactions, A . Computer science and technology ; 51 . Information Processing '94 : proceedings of the IFIP 13th World Computer Congress,
North-Holland, 1994
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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).
「Nielsen BookData」 より