PD10: a parallel simulation computer (English)
- New search for: Xiaoam Li
- New search for: Naiping Xu
- New search for: Li Zhang
- New search for: Xiaoam Li
- New search for: Naiping Xu
- New search for: Li Zhang
-
ISBN:
- Conference paper / Print
-
Title:PD10: a parallel simulation computer
-
Additional title:Ein Parallelrechner für Simulationsanwendungen
-
Contributors:
-
Published in:
-
Publisher:
- New search for: International Academic Publishers
-
Place of publication:Beijing
-
Publication date:1991
-
Size:5 Seiten, 5 Bilder, 6 Quellen
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Data Communication on HypertorusesTang, Z. et al. | 1991
- 6
-
Development of computer simulation technologyLi Bo Hu et al. | 1991
- 6
-
An FP Approach for the Synthesis of Systolic ArrayHu, Z. / Sun, Y. et al. | 1991
- 11
-
Reliability and Cost of Fault Tolerant Multiprocessing Networks with Heterogeneous NodesLeung, Y. W. et al. | 1991
- 17
-
An Improved Dynamic Resource Allocation Algorithm in a Metropolitan Area NetowkXiu Hua Li / Dian Chen Zhang et al. | 1991
- 21
-
An open logic systemWei, Li et al. | 1991
- 21
-
S10 - An Experimental Multiprocessor SystemLiu, J. / Gao, X. / Rong, B. et al. | 1991
- 24
-
Some Analyses of Time-Constrained Message Transmission for Hard Real Time Distributed SystemFan, C. / Lohmann, E. A. et al. | 1991
- 28
-
A layered classification of parallel computer systemsNi, L.M. et al. | 1991
- 29
-
PD10: A Parallel Simulation ComputerLi, X. / Xu, N. / Zhang, L. et al. | 1991
- 34
-
MPSCU/OS: An Operating System for an Experimental MultiprocessorZhang, Y. et al. | 1991
- 40
-
Architecture on Parallel Executable PackageLuo, X. / Liao, M. H. / Huang, Z. W. / Guo, F. S. et al. | 1991
- 43
-
The CSLAN: A Local Area Network Based on Circuit Switching FashionJin, L. / Li, X. / Liu, J. et al. | 1991
- 46
-
Dynamic Configuration as a Paradigm for Designing Robust and Flexible SystemsJusto, G. R. R. / Cunha, P. R. F. et al. | 1991
- 51
-
Association Model for Cooperating Between Distributed Application ProcessesZhao, H. / Hua Tian Li et al. | 1991
- 55
-
A Dynamic Load Space Sharing Model for Multiprocessor Automatic SchedulingLiu, D. / Zheng, W. / Shen, M. / Wang, D. et al. | 1991
- 60
-
Hierarchical Bus Design in Parallel ComputersWei, B. / Su, L. et al. | 1991
- 62
-
Design and Application of a Novel Ternary Valued Logic Cellular ArrayHan, S. et al. | 1991
- 66
-
A Loop Restructuring Technique to Exploit the Irregular ParallelismJin, G. / Yang, X. / Chen, F. et al. | 1991
- 70
-
Exact Critical Path Tracing Fault Simulation Based on Recovergent Fanout Stem AnalysisGong, Y. / Wei, D. et al. | 1991
- 73
-
Clocking Schemes and Optimization for High-Speed Pipelined ComputersChen, S. / Chen, F. et al. | 1991
- 77
-
Solutions to Some Problems of Unix in SC EnvironmentWu, T. / Pan, P. / Jiang, B. / Chen, F. et al. | 1991
- 81
-
The Application of AM29000 in the Design of Inference Machines & Continuous System Simulation MultiprocessorsZhang, C. / Liu, B. / Wang, P. / Luo, G. et al. | 1991
- 85
-
A Heuristic Algorithm for Task Allocation in Distributed Computer SystemsXu, M. / Wang, X. / Fong, Q. et al. | 1991
- 89
-
Dynamic Resource Allocation for Software Modules TestingLeung, Y. W. et al. | 1991
- 94
-
On the Automatic Acquisition of the Formal Specification from the Example SpecificationLu, J. et al. | 1991
- 99
-
Object-Oriented Programming Abstractions for Distributed Real-Time ComputingLiu, X. / Wang, Y. / Zhou, X. / Han, Z. et al. | 1991
- 103
-
An Object-oriented Specification Tool for Software Development in SELong, X. / Chen, Y. et al. | 1991
- 106
-
Program Transformation in IMPGedeon, T. D. et al. | 1991
- 110
-
Window Proof Tactics for SWAP Problem: A Logic Programming ApproachBi, L. et al. | 1991
- 116
-
XDL: An Object-oriented Specification and Description Language for Telecommunication systemsOchuodho, S. J. / Brown, A. W. et al. | 1991
- 124
-
Towards a Kernel Language for Concurrent and Functional ProgrammingWang, J.-A. / Li, W. et al. | 1991
- 128
-
An Abstract Model of Multi-Language Structure EditorGan, J. et al. | 1991
- 132
-
Programming Skills and Debugging Methods in Software DesignWang, L. et al. | 1991
- 135
-
An Introduction to Intelligent Distributed Task SchedulingChen, J. / Xie, L. / Sun, Z.-X. et al. | 1991
- 140
-
GGP: A General Purpose Graph Processing System Design and ImplementationLin, X. / Wang, M. / Hu, M. et al. | 1991
- 146
-
The Extended Attribute Grammar and Its Application in Incremental Semantic EvaluationLi, Z. / Shi, L. / Li, Y. et al. | 1991
- 151
-
After Escher...Patterning Graphical Interaction in the Functional StyleFoubister, S. P. / Runciman, C. et al. | 1991
- 156
-
The Design of a Common Syntax-Directed Editing System Common-SDEBai, Y. / Qi, Z. et al. | 1991
- 161
-
An Evaluation of Concurrent Priority Queue AlgorithmsHuang, Q. / Weihl, W. E. et al. | 1991
- 167
-
A Compiler for RAP/LOP-WAM Parallel Execution ModelLiu, Z. / Gao, Y. / Zhang, B. / Hu, S. et al. | 1991
- 172
-
The Design and Implementation of an Integrated Software Prototyping Environment (SPE)Ma, J. / He, K. / Kuo, J. H. / Huang, L. et al. | 1991
- 177
-
The Development of Correct Programs by Specification and TransformationTraynor, O. / Liu, J. et al. | 1991
- 182
-
The Object-Oriented System Construction Model Based on Persistent ObjectZhang, Y. / Yang, F. / Shao, W. et al. | 1991
- 187
-
C Program Understanding with HypertextYang, Y. / Gu, Y. et al. | 1991
- 189
-
Implementation of Application Oriented Software ToolTang, W. / Liu, S. et al. | 1991
- 191
-
URSL - A Specification Language for Rapid PrototypingLiu, J. et al. | 1991
- 194
-
A Microprogrammed Implementation of a High-level Language InterpreterChan Choong Wah et al. | 1991
- 198
-
Reconstructing Data Flow Diagram from Cobol Source CodeHuang, H. / Sugihara, K. / Miyamoto, I. et al. | 1991
- 202
-
An Optimization Strategy for a WAM-based Prolog ImplementationHu, Z. / Li, W. / Hu, S. et al. | 1991
- 206
-
Two Distributed Algorithms for Maximum Matchings in Bipartite GraphsLiang, W. / Tang, C. et al. | 1991
- 211
-
A New Algorithm for JT-P / D Cryptosystem on LanHuang, S. / Bai, Y. et al. | 1991
- 215
-
Supercomputability -- Is a New Calculating Model Possible?Wang, S. et al. | 1991
- 217
-
A Modal Formulation of CircumscriptionLin, Z. et al. | 1991
- 222
-
Bottom-Up Evaluating Fuzzy Logic and ProofWu, Y. et al. | 1991
- 227
-
Derivation of Efficient Programs from Specifications in First Order Infinitary LogicHong, Z. / Lingzi, J. et al. | 1991
- 233
-
Global Optimization: An Approach to Conflict Resolution in CDPS Based on Improved Certainty Factor ModelWang, H. / Liu, D. et al. | 1991
- 239
-
A Fault-Tolerance Model Based on Object Recreation for Distributed Object-oriented SystemsLiu, Z. et al. | 1991
- 243
-
A New Block Diagonal Factorization Algorithm (BDFA) of Discrete Fourier TransformYu, P. / Jiang, Z. et al. | 1991
- 246
-
Matrix Algorithms Used in IDEFIX ModelingZhao, X. et al. | 1991
- 251
-
Optimization of Cuts in a Prolog Compiler for the TOAMZhou, N.-F. / Takagi, T. / Ushijima, K. et al. | 1991
- 256
-
An Optimal Transform Algorithm from a Reachable Graph of a Bounded Petri Net to Net GraphJiang, C. / Diao, B. et al. | 1991
- 260
-
CB Morphology and Its ApplicationsGong, W. / Shi, Q. / Cheng, M. et al. | 1991
- 265
-
The Improvements of the Methods of Superposition and Rewrite in Term-Rewriting Theorem-Proving StrategiesMa, S. et al. | 1991
- 271
-
On the Maximum q-Dependent Set ProblemGarrido, O. / Levcopoulos, C. / Lingas, A. / Djidjev, H. et al. | 1991
- 275
-
Bounds for Producing Partial OrdersChen, J. / Carlsson, S. / Strothotte, T. et al. | 1991
- 280
-
The Minimal Covering of Precomplete Classes in Partial Four-Valued LogicLiu, R. et al. | 1991
- 283
-
Can We Have More Opportunity for Parallelism in Logic Programming Computational Models?Wang, J. et al. | 1991
- 288
-
Hypercubic Sort with Minimal StorageTan, T. C. / Tan, K. P. et al. | 1991
- 293
-
An On-Line Convex Hull Algorithm on RealsFranciosa, P. G. / Gaibisso, C. / Talamo, M. et al. | 1991
- 300
-
Specification and Verification of Real-Time Systems Using Metric Temporal LogicHooman, J. et al. | 1991
- 305
-
Formal Verification of Self Modifying CodeGerth, R. et al. | 1991
- 312
-
Construction of Small-Depth CircuitsStrzemecki, T. et al. | 1991
- 316
-
Some Extensions of GPSGJi, D. / Dai, D. / Huang, J. / Gao, X. et al. | 1991
- 322
-
A New Approach to Constructing Recursive ProgramsTan, Q. / Chen, H. et al. | 1991
- 326
-
Categorical Semantics of Unification in Typed Lambda CalculusWang, J. / Sun, Y. et al. | 1991
- 329
-
A Weaker Sufficient Condition for the Relative Completeness of Hoare LogicShao, Z. et al. | 1991
- 331
-
The Microcosmic Theory of Information MachineZhou, C. / Mao, Y. et al. | 1991
- 335
-
A New Scheme for the Realization of Some Frequently Used PermutationsLiu, Z. / You, J. et al. | 1991
- 340
-
A Partial Decision Method for the Ualidness of Fotl FormulasXi, J. / Hu, S. et al. | 1991
- 344
-
Type-Theoretic Formalization of Transformational Program DevelopmentLee, W. / Li, W. et al. | 1991
- 349
-
Another NP-Complete ProblemLi, X. et al. | 1991
- 351
-
Domain-Independent Approach to the Development of Natural Language InterfacesDu, X. / Xie, L. et al. | 1991
- 355
-
Study and Design on a Device Driver of the Parallel Interface Between VAX-11/750 and Cambridge RingFang, Z. / Huang, L. et al. | 1991
- 358
-
Providing Enough I/O Throughput for 2D Scalable Systolic ArrayKang, H. / Cai, X. et al. | 1991
- 362
-
Image Processing on Transputer Network with Dynamical Reallocation of ScanlinesDexing, W. et al. | 1991
- 366
-
Contiguously Allocating of Disk Storage SpaceFang, L. / Wu, T. / Chen, F. et al. | 1991
- 370
-
Implementation of Mini-Map and Research on Mixed-MACJin, Z. / Bai, Y. et al. | 1991
- 372
-
IREW and Reverse EngineeringWu, O. et al. | 1991
- 377
-
Intelligent Analysis and Recognition of 2-Dimensional Shapes Based on Fuzzy Logic in Knowledge EngineeringXu, X. et al. | 1991
- 381
-
Error-Driven Learning for Modifying RulesZheng, Y. / Daneshmend, L. K. et al. | 1991
- 386
-
Implementing Functional Languages in Interaction NetsHuang, L. / Sun, Y. et al. | 1991
- 390
-
Modeling System Via ANNJiang, Z. et al. | 1991
- 392
-
A Neural Network Based Decision Support SystemNah, F.-H. et al. | 1991
- 397
-
The Semantic Expression of WordsBi, J. / Wang, K. et al. | 1991
- 400
-
An Approach Towards Combining Logic- with Object-Oriented Paradigm for Parallel Knowledge ProcessingJin, Z. / Hu, S. et al. | 1991
- 405
-
A Knowledge-Based Approach to Morpho-Lexical Processing of Natural LanguagesDan, T. / Octav, P. et al. | 1991
- 409
-
IURES-2 - Natural Language Environment and the Computer-Speak ParadigmTufis, D. / Popescu, O. et al. | 1991
- 413
-
Generation of Production Rules from Neural Networks by Forward Search ProceduresDa Qun Qian / Scaruffi, P. / Russi, D. et al. | 1991
- 418
-
Model-based Debugging Tool for Knowledge BaseJing, Y. / Wu, Z. / He, Z. et al. | 1991
- 423
-
Enhanced Crossover OperatorShang, Y. / Li, G. et al. | 1991
- 428
-
A Temporal Knowledge Deductive SystemZhang, K. / Zhao, Z. et al. | 1991
- 433
-
Neural Networks for Solving Problems in Early VisionSun, J. / Zhu, M. / He, Z. et al. | 1991
- 437
-
The Application of Fuzzy Logic in an Expert System for Investment Decision-MakingChoong Yeow Wei / Abdul Rahman Abdullah et al. | 1991
- 442
-
On the Levels of Knowledge and Deep KnowledgeMa, Z. / Zuo, W. et al. | 1991
- 446
-
Attribute-Based Fuzzy Conceptual ClusteringHan, J. et al. | 1991
- 450
-
The Generalized Subsumption and Nonclausal Resolution Theorem ProvingZeng, Y. et al. | 1991
- 455
-
A New Approach to Knowledge Acquisition: Integrating Analytical and Empirical TechniquesMartin, M. / Sangueesa, R. et al. | 1991
- 460
-
Subsumptions in Object InteractionsKun, S. / Faltings, B. / Boechler, E. et al. | 1991
- 466
-
Semantic Representations and Constraints for Anaphora Resolution in Text UnderstandingYang, E. / Wang, X. et al. | 1991
- 469
-
An Object-oriented Approach for Knowledge ProcessingWu, J. et al. | 1991
- 473
-
P-RETE: A Packet Driven Production System Parallel High-Speed Match AlgorithmFang, B. / Liu, J. et al. | 1991
- 478
-
GOTIC: A Data Model for Knowledge Based SystemsAleyev, V. R. et al. | 1991
- 481
-
An Approach to Speeding up the Match Process in Production SystemsLin, S. et al. | 1991
- 486
-
Positional Logic in Database Systems and Artificial IntelligenceLaplante, P. A. / Sinha, D. et al. | 1991
- 490
-
A Natural Language Database Front-End Based on Two-Level GrammarPan, A. / Bryant, B. R. et al. | 1991
- 495
-
Explanation-Based Learning in Robot Error RecoveryZheng, Y. / Daneshmend, L. K. et al. | 1991
- 500
-
Equialence Class Energy Function for Solving the TSPTang, X. / Cheng, G. / Tang, C. et al. | 1991
- 501
-
Some Results About Solving Hard Problems by Neural NetworksYao, X. et al. | 1991
- 505
-
Several Approaches Used to Improve the Convergence Speed of B-P AlgorithmYang, L. / Yuan, Y. / Hu, S. et al. | 1991
- 508
-
Compiling Pattern-Matching with Repeated VariablesLiangliang, L. / Hertzberger, B. et al. | 1991
- 513
-
A Modeling System for Reading Machine DrawingsSong, J. / Zhao, M. et al. | 1991
- 518
-
MDUS: A System for Understanding Machine DrawingsZhu, S. / Yang, R. / Dai, J. / Feng, X. et al. | 1991
- 524
-
An Evidential Reasoning System Using RelationsAn, Z. / Bell, D. A. / Hughes, J. G. et al. | 1991
- 529
-
Non-Monotonic Reasoning + Belief Maintenance + Horn Logic = > Dynamic Logic Programming?Wang, X. / Chen, H. et al. | 1991
- 533
-
Object As Intelligent AgentWang, H. / Chen, H. et al. | 1991
- 538
-
Rules for the Adaptation of the Nervous SystemCai, Y. et al. | 1991
- 543
-
Automated Reasoning and Enumerative Search, with Applications to MathematicsZhang, J. / Wos, L. et al. | 1991
- 546
-
A Note to Analogical ReasoningLi, B. / Zhao, Q. et al. | 1991
- 551
-
A Knowledge Acquisition System for Image UnderstandingLuo, W. / Zhang, S. / Li, Z. et al. | 1991
- 553
-
CTRCC: An Analogical Forecast ModelZhang, S. / Yan, X. et al. | 1991
- 557
-
Requirements and Considerations for Languages Oriented for the Development of ICAD SystemsWei, M. / Liu, Y. / Liu, S. et al. | 1991
- 560
-
Automatic Generation of Rules from ExamplesLiang, Z. et al. | 1991
- 563
-
The Interaction of Visual Knowledge and Intelligent GraphicsWang, J. / Liu, Y. / Liu, S. et al. | 1991
- 566
-
An Extended Concurrent Logic Language with Non-determinismCodognet, P. et al. | 1991
- 571
-
Sonar-Based Environment Modelling and Navigation for Mobile RobotChen, W. / Ai, H. / He, K. et al. | 1991
- 576
-
Fanalysis: A New Dynamic Testability Analysis MethodQi, D. et al. | 1991
- 581
-
Micro-Expert System for Underwater Target ClassificationWang, T. / Li, Z. / Ma, Y. et al. | 1991
- 585
-
The Architecture and Information Interface Design of the Computer Control System for 6-DOF Parallel ManipulatorKong, L. et al. | 1991
- 588
-
The SVQ-SPM for Large-Vocabulary Chinese Connected Speech RecognitionLi, J. / Fang, D. et al. | 1991
- 591
-
Object-Oriented Region SegmentationWu, C. / Zhu, M. et al. | 1991
- 595
-
Implementation Techniques of Lazy Pattern Matching for Functional Language Based on Extended Graph Rewriting ModelZhou, G. / Wang, D. et al. | 1991
- 599
-
Determination of Optical Flow on Non-Rigid Object Motion - A Vision Approach to Process Cloud from Satellite ImageryPan, Z. / Pfeiffer, J. et al. | 1991
- 604
-
Representation of 2D Shapes with Concatenated Circular ArcsJia, Y. et al. | 1991
- 608
-
A Formal Study of Syntactic Ambiguity in ChineseZhai, C. / Zhang, J. / Wang, Y. et al. | 1991
- 612
-
A Discussion of the Computer-Processing Method in Calculating the Snow-Volume in XinjiangWang, S. / Guan, H. et al. | 1991
- 617
-
Computer Aided Scheduling of a Changeover Sequence for Manufactured ProductsLung Chiang Wu et al. | 1991
- 621
-
The Application of Correlation Technique in Tracking Targets on GroundXu, D. / Wan, B. et al. | 1991
- 624
-
Electronic Publishing Environment and Its kernel Composing EnvironmentZheng, M. / Chen, Y. / Huang, Y. et al. | 1991
- 630
-
An Interactive Software SIDPS for Fitting Probability Distribution to Simulation Input DataChen, G. / He, D. / Yang, P. / Sun, G. et al. | 1991
- 633
-
APDS.2: An Enhanced Version of the Angina Pectoris Diagnosis SystemShi, Z. / Deng, B. et al. | 1991
- 636
-
A Multilevel Explanation ApproachDeng, B. / Shi, Z. et al. | 1991
- 640
-
A Chinese Word Segmentation System PC-CWSSZheng, Y. / Liang, N. et al. | 1991
- 642
-
ELNGS: A Graphics System in Real-Time EnvironmentsPeng, M. / Li, Z. / Wang, X. et al. | 1991
- 645
-
An Autonomous System for Mobile RobotsForest, H. / Ai, H. / Zhang, B. et al. | 1991
- 649
-
An Object-Oriented Approach to Geometric Reasoning for CAD SystemsShou, Y. / Dong, J. / He, Z. et al. | 1991
- 652
-
The Generation Display Algorithm and Intersection Algorithms of Triangular Bezier SurfacesTian, J. et al. | 1991
- 656
-
An Overview of the Visual Database System db-ImageGolovko, A. V. / Gutara, K. Y. et al. | 1991
- 658
-
Robot Simulation As an Example of Modelling RealityBauer, K. M. / Dai, F. et al. | 1991
- 664
-
Using the Gate Delay Property in Testing of Combinational CircuitsZhang, Z. / Wei, D. et al. | 1991
- 668
-
An Improved Simulation Method for Realistic GraphicsSili, W. / Shenquan, L. et al. | 1991
- 671
-
The Symbolic Compiler for An Intelligent Silicon Compilation SystemLu, T. / Shen, X. et al. | 1991
- 673
-
WFDP: A Placement Algorithm for Discretional Wiring WSI SystemRen, W. / Shen, X. et al. | 1991
- 677
-
An Efficient Test Generation Algorithm for Sequential CircuitsLi, X. / Wei, D. et al. | 1991
- 681
-
An MDPCM Coding System for High Speed Digital ImagesWang, T. / Huang, Z. et al. | 1991
- 684
-
An Object-Oriented Analysis for Logical Circuit EmulationWai Lung Loh et al. | 1991
- 689
-
UIGS: Towards Graphical Specification and Reuse of User Interface Design KnowledgesLiu, H. / Lian, G. / Zhang, W. et al. | 1991
- 693
-
A Declarative Language for Application-Specific User Interface SpecificationSu, X. / Goldschlager, L. M. / Srinivasan, B. et al. | 1991
- 697
-
A framework for the evaluation of a user interface from its design specificationJinghai Zhao / Shenquan Liu et al. | 1991
- 697
-
A Framework the Evaluation of a User Interface from Its Design SpecificationZhao, J. / Liu, S. et al. | 1991
- 705
-
A Formal Specification System for User-Interface Design(Gtisys)Yao, X. / Sun, Z. et al. | 1991
- 708
-
Performance Analysis Tool with Customizable Graphical User InterfaceTakeda, K. / Miyamoto, I. et al. | 1991
- 713
-
3-D Inference from 2-D Image Features in the Perceptual Organization Based Computational Visual ModelChen, K. / Wang, B. et al. | 1991
- 718
-
Recovering the Shape of a 3-D Object from Stereo Shading and Texture ModulesVakalis, I. E. et al. | 1991
- 722
-
FEDO, An EDBMS Oriented to General Purpose Finite Element SystemHuang, S. / Cheng, G. et al. | 1991
- 726
-
Qualitative Recognition of 3D Objects from Range ImageQing, Z. / Mei, Y. / Wu, L. et al. | 1991
- 731
-
An Intelligent Software System for Simulation of Robotic ManipulatorsSheng, F. / Fan, X. / Sun, Z. et al. | 1991
- 735
-
Image Database Developing and Its ModelYao, H. / Tan, B. et al. | 1991
- 739
-
Multilevel Modeling Knowledge-Driven Reasoning In Fault Diagnosis of Large Scale Electronic SystemZhou, X. / Lu, T. et al. | 1991
- 741
-
An Improved Algorithm for Finding Intersection Between Surfaces and PlaneJun, T. / Weifeng, S. et al. | 1991
- 744
-
Visual Knowledge Query Language and Its Translation to SQLSiau, K. L. / Chan, H. C. et al. | 1991
- 748
-
Towards a General Object-oriented Database SystemChen, L. et al. | 1991
- 753
-
An Object Oriented Image Database Management SystemChan, M. et al. | 1991
- 757
-
Implementation of Integration for Product ModellingJiao, G. / Liu, S. et al. | 1991
- 762
-
An Enhancement of Domain Integrity in Realtional DatabasesFeng, Z. / Fris, I. / Miller, M. et al. | 1991
- 767
-
The Strategy on Data Partition and Distribution Available for Parallel AccessingXu, X. / Gu, D. et al. | 1991
- 771
-
The Memory Management in GoodbaseLi, W. / Hu, Z. / Wang, Z. / Hu, S. et al. | 1991
- 776
-
BHDDBS: An Effective Deductive Database SystemHuai, J. et al. | 1991
- 780
-
Integrated Data Model for Unstructured and Structured Data ManagementZheng, W. / Guo, S. / Wei, W. / Lin, Z. et al. | 1991
- 783
-
Crystal's False Path Detecting AlgorithmFang, J. / Tam Wai Kee / Wong, J. S.-L. et al. | 1991
- 789
-
Towards AI-Based DesignSimithers, T. / Ming Xi Tang et al. | 1991
- 794
-
Graph Modulation and Its ApplicationsLiu, H.-N. / Papadimitriou, C. H. / Xiao, B. et al. | 1991
- 797
-
Fluid Dynamics Using Interface Methods on Parallel ProcessorsDeng, Y. / Glimm, J. et al. | 1991
- 801
-
The Fuzzy Neural Network Approach for Stock SelectionWong, F. S. / Wang, P. Z. et al. | 1991
- 808
-
Using Conceptual Graph as a Unified Belief Representation Approach in Viewgen SystemQiu, D. et al. | 1991
- 809
-
Towards an Intelligent User Interface - NLU in the Commercial DomainKlebesits, K. / Grechenig, T. / Dieberger, A. et al. | 1991
- 810
-
From the Reuse of Software Items to the Reuse of Design DecisionsTervonen, I. et al. | 1991
- 811
-
Perspectives on Parallel ComputingDeng, Y. / Glimm, J. / Sharp, D. H. et al. | 1991
- 812
-
Modeling and Analysis of the Fault Tolerant SystemZhang, M. M. / Wu, J. et al. | 1991
- 813
-
Extended Back-Propagation Neural Network for Time Series ForecastingWong, F. S. et al. | 1991