The SCEAS System
Navigation Menu

Conferences in DBLP

IFIP World Computer Congress (ifip)
1992 (conf/ifip/1992-1)

  1. Deng-Jyi Chen, Shih-Kun Huang
    Interface for Reusable Software Components. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:3-9 [Conf]
  2. Gary J. Murakami, Ravi Sethi
    Parallelism as a Structuring Technique: Call Processing using the Estrel Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:10-16 [Conf]
  3. Arne Maus
    Entropy as a Complexity Measure, and the Optimal Module Size of Object Oriented Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:17-23 [Conf]
  4. Suresh C. Gupta, Mukul K. Sinha
    Design Validation Using Probe Mechanism. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:24-31 [Conf]
  5. D. A. Turner
    Functional Programming and Miranda. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:32-41 [Conf]
  6. Ming-Yuan Zhu, Cheng-Wei Wang
    An Overview of Specification Language Universe. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:42-48 [Conf]
  7. Christian Horn
    Oyster-2: Bringing Type Theory into Practice. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:49-56 [Conf]
  8. Priscilla J. Fowler, Linda Levine
    Toward A Problem Solving Approach To Software Technology Transition. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:57-64 [Conf]
  9. Dines Bjørner
    From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:65-71 [Conf]
  10. J. Christian Wild, Kurt Maly
    Software Life Cycle Support - Decision Based Software Development. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:72-78 [Conf]
  11. Geoff Cutts
    An Approach to Modelling and Analysis of Parallel Information Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:79-85 [Conf]
  12. Judith D. Wilson, John T. Nosek, Nathan Hoskin, Lin L. Liou
    The Effect of Collaboration on Problem-Solving Performance Among Programmers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:86-93 [Conf]
  13. Jacques Hagelstein, G. Hulin
    GeSEM: A Model for Software Engineering Activities. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:94-102 [Conf]
  14. Jean-Raymond Abrial
    On Constructing Large Software Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:103-112 [Conf]
  15. Peter Kearney, John Staples, A. Abbas
    Functional Verification of Hard Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:113-119 [Conf]
  16. Haféda Bachatène, Pascal Estraillier
    A Multiformalism Approach to Formalize Complex Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:120-126 [Conf]
  17. Xudong He, Yingjia Ding
    A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:127-133 [Conf]
  18. Robert B. Allen, David Garlan
    A Formal Approach to Software Architectures. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:134-141 [Conf]
  19. Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
    An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:142-148 [Conf]
  20. Y. A. Frantsuzov
    Code SCheduling Via Time Model. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:149-155 [Conf]
  21. Arno P. J. Gourdol, Laurence Nigay, Daniel Salber, Joëlle Coutaz
    Multimodal Systems: Aspects of Events Fusion and a Taxonomy. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:156-162 [Conf]
  22. Manuel Díaz, Ernesto Pimentel, José M. Troya
    A Declarative Environment for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:163-169 [Conf]
  23. Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida
    G-system: A Functionally-Based Communication System Model for Parallel Processing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:170-178 [Conf]
  24. Karl J. Lieberherr
    Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:179-185 [Conf]
  25. Jiafu Xu, Daoxu Chen, Lu Jian, Wang Zhijian, Zongming Fei, Zhang Yousong, Qin Ding, Zhu Yingchun
    On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:186-192 [Conf]
  26. Yingsha Liao, Donald Cohen
    PMMS: A Framework and System for High Level Program Monitoring and Measuring. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:193-199 [Conf]
  27. István Forgács
    The Precise Determination of Definition-Use Pairs in the Interprocedural Case. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:200-209 [Conf]
  28. Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda
    VTM: A Graph Editor for Large Trees. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:210-216 [Conf]
  29. David Garlan
    Development Environments for Software Architecture. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:217- [Conf]
  30. Steven P. Reiss
    Program Visualization: Where We Go From Here. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:218-227 [Conf]
  31. Thomas Cheatham
    The Configuration Management of Families of Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:228-236 [Conf]
  32. Rajiv Gupta, Mary Lou Soffa
    Automatic Generation of a Compact Test Suit. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:237-243 [Conf]
  33. Susan A. Dart
    The Past, Present, and Future of Configuration Management. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:244-251 [Conf]
  34. Hassan Gomaa, Larry Kerschberg, Vijayan Sugumaran
    A Knowledge-Based Approach to Generating Target System Specifications from a Domain Model. [Citation Graph (1, 0)][DBLP]
    IFIP Congress (1), 1992, pp:252-258 [Conf]
  35. Hiraku Nakano, Masaitsu Nakajima, Yasuhiro Nakakura, Tadahiro Yoshida, Yoshiyuki Goi, Yuji Nakai, Reiji Segawa, Takeshi Kishida
    An Accurate, High Speed Implementation of Division by the Quasi-Unity Divisor Method. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:261-267 [Conf]
  36. Ryszard Stasinski
    Reducing Multiplicative Complexity of Polynomial Algebra Algorithms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:268-274 [Conf]
  37. Jingsen Chen
    Constructing Priority Queues and Deques Optimally in Parallel. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:275-283 [Conf]
  38. Lih-Hsing Hsu, Peng-Fei Wang, Chu-Tao Wu
    Parallel Algorithms for Finding the Most Vital Edge with Respect to Minimum Spanning Tree. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:284-290 [Conf]
  39. Frank Thomson Leighton, Bruce M. Maggs
    The Role of Randomness in the Design of Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:291-305 [Conf]
  40. Juraj Wiedermann
    Optimal Algorithms for Sorting on Single-tape Turing Machines. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:306-314 [Conf]
  41. José L. Balcázar, Montserrat Hermo, Elvira Mayordomo
    Characterizations of Logarithmic Advice Complexity Classes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:315-321 [Conf]
  42. Kazuo Iwama, Hidetoshi Abeta, Eiji Miyano
    Random Generation of Satisfiable and Unsatisfiable CNF Predicates. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:322-328 [Conf]
  43. Hava T. Siegelmann, Eduardo D. Sontag, C. Lee Giles
    The Complexity of Language Recognition by Neural Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:329-335 [Conf]
  44. Ryotaro Kamimura
    Complexity Term to Generate Explicit Internal Representation in Recurrent Neural Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:336-342 [Conf]
  45. Erol Gelenbe
    Learning with the Recurrent Random Neural Network. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:343-349 [Conf]
  46. Xiaotie Deng, Christos H. Papadimitriou
    Competitive Distributed Decision-Making. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:350-356 [Conf]
  47. Xinfeng Ye, John A. Keane
    Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:357-364 [Conf]
  48. Xiaohua Jia, Yanchun Zhang
    An Optimistic Algorithm for Concurrent Accesses to a Single Replicated File. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:365-371 [Conf]
  49. Ziqiang Liu, Lars-Erik Thorelli, Handong Wu
    HSIM: A Hybrid of Sequential and Parallel Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:372-378 [Conf]
  50. Jean-Daniel Boissonnat
    Some New Research Directions in Robot Motion Planning. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:379-380 [Conf]
  51. A. El-Dessouki, T. El-Shishtawy, A. El-Mahdi
    A Path Planning Algorithm for Three Link Manipulator. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:381-387 [Conf]
  52. Nancy Hitschfeld, Stephan Müller, Wolfgang Fichtner
    Generation of 3-D Delaunay Meshes for Complex Geometries using Iterative Refinement. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:388-394 [Conf]
  53. Arlene Fortunato Machado, Clovis Perin Filho
    A Generalization of the Maximal Closure of a Digraph. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:395-401 [Conf]
  54. Maw-Shang Chang
    Efficient Algorithms for the Domination Problems on Interval and Circular-Arc Graphs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:402-408 [Conf]
  55. A. Plaza, L. Ferragut, R. Montenegro
    Derefinement Algorithms of Nested Meshes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:409-415 [Conf]
  56. Richard M. Karp
    On-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future? [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:416-429 [Conf]
  57. Lei Zhang
    Polynomial Algorithms for the k-Chinese Postman Problem. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:430-435 [Conf]
  58. Ting-Yi Sung, Lih-Hsing Hsu, Jeng-Yan Hwang
    Data Structure for Graph Representations of a Network Having Double Euler Trails. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:436-442 [Conf]
  59. Walter Cunto, S. Kashima, Manuel Rey
    A New Algorithm for Selecting the Median, Two Quartiles, Minimum and Maximum of a Set of Numbers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:443-448 [Conf]
  60. Naoyuki Tokuda
    An Improved Shellsort. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:449-457 [Conf]
  61. Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator
    Analysis of Online Algorithms for Organ Allocation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:458-464 [Conf]
  62. Ricardo A. Baeza-Yates
    Text-Retrieval: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:465-476 [Conf]
  63. Pierre Nicodème
    Compact Balanced Tries. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:477-483 [Conf]
  64. Esko Ukkonen
    Constructing Suffix Trees On-Line in Linear Time. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:484-492 [Conf]
  65. Kurt Mehlhorn, Stefan Näher
    Algorithm Design and Software Libraries: Recent Developments in the LEDA Project. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:493-505 [Conf]
  66. Winfried Hahn, A. Hagerer, H. Anger
    Update-Dataflow Computing: A Way to Supercomputing in Discrete Simulation of Digital Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:509-517 [Conf]
  67. Geraldo Lino de Campos
    Asynchronous Polycyclic Architecture: An Overview. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:518-524 [Conf]
  68. J. Luo, Gerard L. Reijns
    Linear Programming on Transputers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:525-534 [Conf]
  69. Shigeru Kusakabe, Takahide Hoshide, Rin-ichiro Taniguchi, Makoto Amamiya
    Parallelism Control and Storage Management in Datarol PE. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:535-541 [Conf]
  70. Thomas Bemmerl
    Technology for TeraFLOPS Computing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:542- [Conf]
  71. Gerard L. Reijns
    Panel: Parallel and Distributed Computing - Distributed Memory or Shared Memory Systems? [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:543-544 [Conf]
  72. Qiang Li
    A Deadlock-free Adaptive Routing Algorithm for Direct Binary Hypercubes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:545-554 [Conf]
  73. Takeshi Horie, Hiroaki Ishihata, Morio Ikesaka
    Design and Implementation of an Interconnection Network for the AP1000. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:555-561 [Conf]
  74. D. J. Rogers, Roland N. Ibbett
    Xbar: A VLSI Circuit for Bit-sliced Packet Switching Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:562-570 [Conf]
  75. Hideharu Amano, Luo Zhou, Kalidou Gaye
    SSS (Simple Serial Synchronized)-MIN: A Novel Multi Stage Interconnection Architecture for Multiprocessors. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:571-577 [Conf]
  76. Gerard J. M. Smit, Paul J. M. Havinga, Pierre G. Jansen
    A Programmable Communication Architecture Based on Kautz Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:578-584 [Conf]
  77. Jean-Claude Laprie
    Dependability: A Unifying Concept for Reliable, Safe, Secure Computing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:585-593 [Conf]
  78. K. H. Kim
    Pre-2000 Maturing of the Real-Time Fault-Tolerant Distributed Computing Technology. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:595- [Conf]
  79. Hermann Kopetz
    Active Redundancy in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:595- [Conf]
  80. Gérard Le Lann
    What Are the Correct Paradigms for Designing Dependable Distributed and Real-Time Systems? [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:596-597 [Conf]
  81. Luca Simoncini
    Design Description Languages for the Design of Predictability Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:598- [Conf]
  82. T. Basil Smith
    Coping with Timing Uncertainties in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:599- [Conf]
  83. Michele Morganti
    Dependability Issues in Telecommunications. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:600-607 [Conf]
  84. Min-Sheng Lin, Deng-Jyi Chen
    Distributed Reliability Analysis. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:608-614 [Conf]
  85. Hiroshi Muramatsu, Masahiro Date, Hiroshi Yoshida, Masaharu Kitaoka, Norio Kurobane
    Operating System SXO for Continuous Operation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:615-621 [Conf]
  86. Satoshi Moriguchi
    Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:622-628 [Conf]
  87. Rodrigo Torres, Kiichi Shibata, Mitsuru Yokoi
    Performability Modeling and Its Evaluation Tool for Network Disconnection. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:629-635 [Conf]
  88. John F. Meyer
    The Role of Modeling and Evaluation in the Design Process. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:636-644 [Conf]
  89. Kurt Maly, Sanjeev Khanna, C. Michael Overstreet, Ravi Mukkamala, Mohammad Zubair, Y. S. Sekhar
    Multiprocessor Architectures for High Speed Networks: A Performance Study. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:645-651 [Conf]
  90. Hideo Nakamura, Kiyoshi Takeshi
    Fault-Tolerant Microcomputer Design and Application for Railway Train Control. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:652-658 [Conf]
  91. Wieslaw Lucjan Nowinski
    Design for a Ray Casting Integrated Circuit. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:659-666 [Conf]
  92. Kenichi Suzaki, Shinji Araya, Ryozo Nakamura
    Three-Layer Neural Network Models for Rotated Patterns Recognition. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:667-673 [Conf]
  93. Hajime Ishikawa
    Progress Trends and Perspective of VLSI Technology. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:674-682 [Conf]
  94. Manfred Broy
    Reliable Systems Enginerring (Position Statement). [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:683- [Conf]
  95. Alain J. Martin
    Tomorrow's Digital Hardware will be Asynchronous and Verified. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:684-695 [Conf]
  96. Tiziana Margaria
    Efficient RT-Level Verification by Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:696-702 [Conf]
  97. P. Johannes, Luc J. M. Claesen, Hugo De Man
    Performance Through Hierarchy in Static Timing Verification. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:703-709 [Conf]
  98. Gerry Musgrave
    Formal Methods For Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:710- [Conf]
  99. Raymond T. Boute
    Declarative Languages For CAD: The Return From Algorithm Design Back To System Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:711- [Conf]
  100. Randal E. Bryant
    Formal Verification: A Slow, but Certain Evolution. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:712- [Conf]
  101. Michael P. Fourman
    The CAD Tool of the Future. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:713- [Conf]
  102. Franz J. Rammig
    System Level Design: The New Challenge. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:714- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002