Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. IFIP Congress 1989: San Francisco, USA
- Gerhard X. Ritter:
Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989. North-Holland/IFIP 1989, ISBN 0-444-88015-1
Frontiers in Computing (Panel)
- Tommaso Toffoli:
Position Statement for Panel 1: Frontiers in Computing. IFIP Congress 1989: 1 - Vladimír Cerný:
Frontiers in Computing: Computing as a Simulation of Physical Systems. IFIP Congress 1989: 2 - Teuvo Kohonen:
Practical Problems and Vistas of Neural Computing (Position Statement). IFIP Congress 1989: 3
Randomization in Distributed & Parallel Computing
- Kosaburo Hashiguchi:
Algorithms for Determining Relative Star height and Star Height. IFIP Congress 1989: 5-10
Real Time Programming: Special Purpose or General Purpose Languages
- Gérard Berry:
Real Time Programming: Special Purpose or General Purpose Languages. IFIP Congress 1989: 11-17 - Jan Storbank Pedersen:
Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. IFIP Congress 1989: 19-20
Languages with Concurrency
- Leo Yuhsiang Liu, R. K. Shyamasundar:
RT-CDL: A Real Time Design Language and Its Semantics. IFIP Congress 1989: 21-26 - David B. Skillicorn:
Techniques for Compiling and Executing Dataflow Graphs. IFIP Congress 1989: 27-32 - G. M. Krecker, T. I. Lelchuk, Alexander G. Marchuk:
POLAR - A Programming Language for Multiprocessor Systems. IFIP Congress 1989: 33-37
Expert Systems: Professional Tools for Data Communication? (Panel)
- Dipak Khakhar:
Expert Systems: Professional Tools for Data Communication? (Panel). IFIP Congress 1989: 39-40 - Peter Politakis:
A Review of Knowledge Acquisition and Refinement for Diagnostic Classification Tasks (Panel). IFIP Congress 1989: 41
Industrial Tools
- B. French Keogh, D. Sin, A. Kuczewski de Poray, A. Latreche, G. Roullet, Jean-Pierre Cabanel:
MAN5: A Multivendor Network Management Tool. IFIP Congress 1989: 43-48 - James L. Peterson:
XSCOPE: A Debugging and Performance Toll for X11. IFIP Congress 1989: 49-54 - Lap-Ming Liu, N. S. Pryes:
SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60
Effective Industrial Application of Formal Methods
- Bernard Sufrin:
Effective Industrial Application of Formal Methods. IFIP Congress 1989: 61-69
Report on Information Technology Projects in the People's Republic of China
- Xiao Xiang Zhang:
Some Comments on Research and Development of Information Processing in China. IFIP Congress 1989: 71 - Kongshi Xu:
Report on R and D at the Software Institute. IFIP Congress 1989: 73-76 - P. Xia, Q. Lin, M. Zhu, G.-J. Li, Y. Wang:
A Very Fast Array Processor and the Architecture of a Parallel Computer BJ. IFIP Congress 1989: 77-78 - Lan Jin:
Report on Interconnection Networks and Distributed Processing Projects in China. IFIP Congress 1989: 79-80 - Jiafu Xu:
Report on a Software Automation R&D Project. IFIP Congress 1989: 81
Specification
- Pamela Zave, Daniel Jackson:
Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88 - Thomas W. G. Docker, Robert B. France:
Flexibility and Rigour in Structured Analysis. IFIP Congress 1989: 89-94 - Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear:
Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100
Better Tools - Less Education?
- Wilfried Brauer, Ute Brauer:
Better Tools - Less Education? IFIP Congress 1989: 101-106 - Robert M. Aiken, Cristine Aiken:
Better Education - Different Tools. IFIP Congress 1989: 107-108
Hardware and Software Dependability Evaluation
- Jean-Claude Laprie:
Hardware-and-Software Dependability Evaluation. IFIP Congress 1989: 109-114 - Ravishankar K. Iyer:
Measurement and Modeling of Computer System Failures. IFIP Congress 1989: 115-116
Hardware and Software Dependability Evaluation (Panel)
- John F. Meyer:
Hardware and Software Dependability Evaluation: Future Trends. IFIP Congress 1989: 117 - William C. Carter:
Hardware and Software Dependability Evaluation: System Dependability. IFIP Congress 1989: 118 - Bev Littlewood:
Hardware and Software Dependability Evaluation: Software Dependability. IFIP Congress 1989: 119 - Shunji Osaki:
Hardware and Software Dependability Evaluation: Hardware Dependability. IFIP Congress 1989: 120
"Perfect" Pseudo-Random Number Generation
- Silvio Micali:
"Perfect" Pseudo-Random Number Generation. IFIP Congress 1989: 121-126 - Manuel Blum, Prabhakar Raghavan:
Program Correctness: Can One Test For It? IFIP Congress 1989: 127-134 - László Lovász:
Faster Algorithms for Hard Problems. IFIP Congress 1989: 135-141
Programming Human Computer Interaction
- Eric J. Golin, Robert V. Rubin, James Walker II:
The Visual Programmers Workbench (Extended Abstract). IFIP Congress 1989: 143-148 - Paul Franchi-Zannettacci:
Attribute Specifications for Graphical Interface Generation. IFIP Congress 1989: 149-155 - Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski:
Constraining Pictures with Pictures. IFIP Congress 1989: 157-162
Distributed Systems
- Paul Johannesson, Benkt Wangler:
The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture. IFIP Congress 1989: 163-168 - Vijay Kumar, Jerry Place, Gi-Chul Yang:
A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU. IFIP Congress 1989: 169-174 - I. D. Johnson, Alan J. Harget:
On the Performance of Load Balancing Algorithms in Distributed Systems. IFIP Congress 1989: 175-180
Communication Support for Distributed Systems
- André A. S. Danthine:
Communication Support for Distributed Systems: OSI verus Special Protocols. IFIP Congress 1989: 181-190
Knowledge Representation Systems: Implementation, Experiences, Directions (Panel)
- Nick Cercone:
Better Tool for Professionals: Knowledge Based Systems. IFIP Congress 1989: 191-192 - James Davidson:
Towards Practical Knowledge Representation Systems. IFIP Congress 1989: 193 - Koichi Furukawa:
Constraint Logic Programming as a New Vehicle for Knowledge Representation. IFIP Congress 1989: 194
Industrial Strength Software Development Environments
- Dewayne E. Perry:
Industrial Strength Software Development Environments. IFIP Congress 1989: 195-203
Software Engineering Directions, Approaches and Issues
- Peter Freeman:
Strategic Directions in Software Engineering: Past, Present, and Future. IFIP Congress 1989: 205-210 - Herb Krasner:
Requirements Dynamics in Large Software Projects: A Perspective on New Directions in Software Engineering Process. IFIP Congress 1989: 211-216 - John C. Knight, Paul Ammann:
Issues Influencing the Use of N-Version Programming. IFIP Congress 1989: 217-222
Supercomputing in the 1990's
- Kenneth G. Wilson:
Supercomputing in the 1990's. IFIP Congress 1989: 223-227
Future Trends in Supercomputing: Access and Evaluation (Panel)
- John R. Gurd:
Future Trends in Supercomputing: Access and Evaluation. IFIP Congress 1989: 229 - David J. Kuck:
The Von Neumann and Parallel Computing Eras. IFIP Congress 1989: 230 - Norihisa Suzuki:
Design and Evaluation of Multiprocessor Workstations. IFIP Congress 1989: 231
Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis
- Dominique Borrione, Paolo Prinetto:
Zero-Defect Designs, Why and How: Formal Verification vs. Automated Synthesis. IFIP Congress 1989: 233-240 - S. F. Steven Chen, Pei-Yung Hsiao, Wu-Shiung Feng, Shun-Nan Dai, Wen-Zyh Wang:
The Control Model for a Knowledge-Based Approach to VLSI Compaction Design. IFIP Congress 1989: 241-246
Representational Issues in Modeling User Tasks, Knowledge, and Interfaces
- Ray Waddington, Peter Johnson:
Designing and Evaluating Interfaces Using Task Models. IFIP Congress 1989: 247-252 - Marc Herrmann, Ralph D. Hill:
Abstraction and Declarativness in User Interface Development. The Methological Basis of the Composite Object Architecture. IFIP Congress 1989: 253-258 - Lawrence J. Williams, Frederick H. Lochovsky:
Supporting Knowledge Migration in Organizations. IFIP Congress 1989: 259-264
Computers and Continuing Education (Panel)
- George L. Kovács:
Position Statement on Computers and Continuing Education. IFIP Congress 1989: 265 - Milton R. Pine:
Some Unresolved Issues for Computers in Continuing Education. IFIP Congress 1989: 266
How Specialists Perceive the Social Impact of Computers (Panel)
- Ashley W. Goldsworthy:
How Specialists Perceive the Impact of Computers on Society. IFIP Congress 1989: 267 - Richard S. Rosenberg:
Panel Position Statement for Track 11 Computer and Society. IFIP Congress 1989: 268
Information System Design and Work in Organisation Design (Panel)
- Klaus Fuchs-Kittowski, Margrit Falck:
Information System Design and Design of Work and Organization - Necessity for Widening the Socio-Technological to an Actional Approach. IFIP Congress 1989: 269-270 - Ulrich Briefs:
Information System Design and Design of Work and Organization (Position Paper). IFIP Congress 1989: 271 - Kari Thoresen:
Integrating Systems Development and Use. IFIP Congress 1989: 272 - Ina Wagner:
Panel: Information Systems - Work and Organization Design: Challenges for Organizational Learning. IFIP Congress 1989: 273-274
Algorithms and Complexity of Computation
- Jay N. Bhuyan, Jitender S. Deogun, Vijay V. Raghavan:
Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented Information Retrieval. IFIP Congress 1989: 275-280 - Lane A. Hemachandra, Gerd Wechsung:
Using Randomness to Characterize the Complexity of Computation. IFIP Congress 1989: 281-286 - Matthias Krause, Christoph Meinel, Stephan Waack:
Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. IFIP Congress 1989: 287-292
Parallel and Distributed Algorithms
- Joos Heintz, Pablo Solernó, Marie-Françoise Roy:
On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298 - Bernd Freisleben:
Non-Broadcast Communication Schemes for Information Dissemination. IFIP Congress 1989: 299-304 - Kazuo Iwama, Yahiko Kambayashi:
An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses. IFIP Congress 1989: 305-310
How to Use OSI - Practical Experience and Limitations (Panel)
- Gesualdo Le Moli:
Impact of OSI on the Architecture of the Design of Application Processes. IFIP Congress 1989: 311 - Andrew Herbert:
Distributed Systems and OSI. IFIP Congress 1989: 312 - V. Lazarev:
Layer N Protocol Decomposition on Subprotocols. IFIP Congress 1989: 313 - Karl Litzenberg:
How to Use OSE - Reducing Limitations. IFIP Congress 1989: 314
Logical Foundations of Deductive Databases
- Vladimir Lifschitz:
Logical Foundations of Deductive Databases. IFIP Congress 1989: 315-321 - John W. Lloyd:
Logic as a Foundation for Deductive Database Systems. IFIP Congress 1989: 323-324
Implementation Issues for Knowledge Bases
- Robert Demolombe:
An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress 1989: 325-330 - Tao Li, Chris D. Marlin:
Algorithms for the Parallel Execution of Rule-Based Expert Systems. IFIP Congress 1989: 331-336 - Franz Barachini, Hans Mistelberger, E. Bahr:
A New Method for Parallel Pattern Matching. IFIP Congress 1989: 337-342
Validation of Hardware and Software: Similarities and Differences (Panel)
- Jan Hlavicka:
Validation and Verification of Hardware and Software (Position Statement). IFIP Congress 1989: 343 - William E. Howden:
A Comparison of Software and Hardware Testing. IFIP Congress 1989: 344
Software Engineering Environments
- Dick Schefström:
Building a Highly Integrated Development Environment Using Preexisting Parts. IFIP Congress 1989: 345-350 - Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice:
Method Driven Programming. IFIP Congress 1989: 351-356 - L. N. Rajaram, S. C. Gupta:
An Integrated Framework for User-Driven Interactive Application Development. IFIP Congress 1989: 357-362
Future Computing Media: Japan's Efforts
- Makoto Mukai, Keiichiro Uchida:
Pushing the Limits of Conventional Media. IFIP Congress 1989: 363-366 - Toyohiko Yatagai:
Optical Computing. IFIP Congress 1989: 367-370 - Shiro Usui:
Neural Computing. IFIP Congress 1989: 371-374 - Gen Matsumoto, Toshio Iijima, Michinori Ichikawa:
Bio-Computing. IFIP Congress 1989: 375-378
Silicon Compilers: How Well Have They Done, and Where Are They Headed? (Panel)
- Randal E. Bryant:
Silicon Compilers: How Well Have They Done, and Where Are They Headed? IFIP Congress 1989: 379 - Hugo De Man:
Behavioral Interactive Silicon Compilation for Real Time Synchronous Algorithms. IFIP Congress 1989: 380
Can Office Technology Support Office Dialogues?
- Terry Winograd:
Can Office Technology Support Office Dialogues? IFIP Congress 1989: 381-387 - Carl Hewitt:
Toward an Open Systems Architecture. IFIP Congress 1989: 389-392
Can Current Office Models Support Automation?
- Nicolau Reinhard:
Cross-Cultural Perspective in Office Automation. IFIP Congress 1989: 393 - Rudy Hirschheim:
Towards a Broader Notion of the Office. IFIP Congress 1989: 394-395 - Cheng-Seen Ho:
A Pragmatic Approach to Office Modeling. IFIP Congress 1989: 396 - Lucy A. Suchman:
What Are Models for and Do We Want Them to Support Automation? IFIP Congress 1989: 397
Advanced Design for Automated Manufacture
- Günter Spur:
Advanced Design for Automated Manufacture. IFIP Congress 1989: 399-406 - Kenneth Preiss:
Advanced Design for Automated Manufacture. IFIP Congress 1989: 407-408
Computer Eduction for All
- Frank Lovis, Bernard Levrat:
The Computerised Society: A Challenge for Educators. IFIP Congress 1989: 409-413 - Paul van Binst, Luc Wilkin:
Informatics and Human Sciences: A Working Synergy. IFIP Congress 1989: 415-418 - Tony Bryant:
Better Professionals for the Tools. IFIP Congress 1989: 419-425
Developing Competence in a Developing Environment
- Helder Coelho:
Developing Competence in a Developing Environment. IFIP Congress 1989: 427-433 - Subhash C. Bhatnagar:
Strategic Choices in Developing Competence in Information Technology. IFIP Congress 1989: 435-436
Data Structure Design and Analysis
- Michiel H. M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas:
Multiple Representations of Dynamic Data Structures. IFIP Congress 1989: 437-442 - Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski:
Digital Search Trees - Further Results on a Fundamental Data Structure. IFIP Congress 1989: 443-447 - Rolf Klein, Derick Wood:
On Binary Trees. IFIP Congress 1989: 449-454
Randomized Parallel Algorithms
- John H. Reif, Sandeep Sen:
Randomized Parallel Algorithms. IFIP Congress 1989: 455-458 - Silvia M. Müller, Wolfgang J. Paul:
Contributions of Theoretical Computer Science, Applied Computer Science and Numerical Mathematics to the Design of Parallel Computers. IFIP Congress 1989: 459-460
Experiences and Trends
- A. L. Ibbetson, E. B. Spratt, R. P. A. Collinson:
Ten Years of Local Area Networking in a University Context. IFIP Congress 1989: 461-466 - Ray Hunt:
A Review of Telecommunication Services Operating in New Zealand up to the Time of Deregulation. IFIP Congress 1989: 467-472 - R. I. Swindle, R. G. F. Aitchison:
ISDN: Will the World Embrace It? IFIP Congress 1989: 473-477
From ISDN to IBCN
- Paul J. Kühn:
rom ISDN to IBCN (Integrated Broadband Communication Network). IFIP Congress 1989: 479-486 - Hiromasa Ikeda:
From ISDN to IBCN. IFIP Congress 1989: 487-488
Knowledge Bases and Databases (Panel)
- Yves Kodratoff:
The AI Approach to ML and Enlarging the "ES Certification Bottleneck". IFIP Congress 1989: 489
Software Fault Tolerance
- Algirdas Avizienis:
Software Fault Tolerance. IFIP Congress 1989: 491-498
Can Software Faults Be Tolerated? (Panel)
- Brian Randell:
Can Design Faults be Tolerated. IFIP Congress 1989: 499 - Gunnar Hagelin:
Can Software Faults be Tolerated? IFIP Congress 1989: 500 - John C. Knight:
Can Software Faults be Tolerated? (Position Statement). IFIP Congress 1989: 501 - David Lorge Parnas:
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". IFIP Congress 1989: 1145-1146
The Effectiveness of Neural Computing
- John J. Hopfield:
The Effectiveness of Neural Computing. IFIP Congress 1989: 503-507
Modeling and Performance Evaluation
- Brian K. Bray, K. Cuderman, Michael J. Flynn, Andrew Zimmerman:
The Computer Architect's Workbench. IFIP Congress 1989: 509-514 - Selim G. Akl, G. R. Guenther:
Broadcasting with Selective Reduction. IFIP Congress 1989: 515-520 - Chi-Hung Chi:
Improving Cache Performance Using a Unified Management of Registers and Cache. IFIP Congress 1989: 521-526
Design Automation in Industry I: Experience Across the World (Panel)
- John A. Darringer:
Advanced Design Automation in Industry. IFIP Congress 1989: 527 - François Anceau:
Formal Verification: A Significant Step Towards Zero Deffect VLSI Design. IFIP Congress 1989: 528 - Makoto Endo:
The Roles of Logic Synthesis Systems. IFIP Congress 1989: 529 - Ulrich Lauther:
Some Experiences with Advanced Design Automation Tools. IFIP Congress 1989: 530 - Akihiko Yamada:
Design Automation for Large Mainframes and Supercomputers in NEC. IFIP Congress 1989: 531
Design Automation in Industry II: Challenges Across the World (Panel)
- Bryan D. Ackland:
Experiences with Advanced Design Automation Tools. IFIP Congress 1989: 532 - Theo A. C. M. Claasen:
VLSI Design Methods: Posibilities and Limitations. IFIP Congress 1989: 533 - Mitsuo Ishii:
Automated Testing. IFIP Congress 1989: 534
User Interface Technologies
- Gerhard Weber:
Reading and Pointing - Modes of Interaction for Blind Users. IFIP Congress 1989: 535-540 - Yuzuru Tanaka, Takamoto Imataki:
IntelligentPad: A Hypermedia System Allowing Functional Compositions of Active Media Objects Through Direct Manipulations. IFIP Congress 1989: 541-546 - Michel Kuntz, Rainer Melchert:
Pasta-3: A Complete Integrated Graphical Direct Manipulation Interface for Knowledge Bases. IFIP Congress 1989: 547-552
Impact of Computer Technologies on Education
- Jef Moonen:
Impact of Computer Technologies on Education. IFIP Congress 1989: 553-559 - Betty A. Collis:
Impact of Computers on Education: A Response. IFIP Congress 1989: 561-562
Educational Tools for Informatics
- Simon M. Kaplan, Ralph E. Johnson:
On Language Choice for the Introductory Comuter Science Course. IFIP Congress 1989: 563-568 - Gisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri:
UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. IFIP Congress 1989: 569-574 - Fred Mulder:
Distance Learning of University Level Informatics with and without Computers. IFIP Congress 1989: 575-580
Fractals: A New Challenge to Model Reality
- Heinz-Otto Peitgen, Hartmut Jürgens:
Fractals: A New Challenge to Model Reality. IFIP Congress 1989: 581-588 - Blagovest Sendov:
Fractals, Chaos and Approximation. IFIP Congress 1989: 589-590
Designing Concurrency Semantics
- J. W. de Bakker:
Designing Concurrency Semantics. IFIP Congress 1989: 591-598 - Vadim E. Kotov:
Designing Concurrency Models. IFIP Congress 1989: 599-600