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」 より