- The trial of the tool analyzing dependence relations in a C program by means of a development support system REFINE
- An Algorithm for Automatic Drawing of State Transition Diagram
- Deveroped and evaluated the real-time verification tool for the cmmmunication protocol modeled by the extended finite state machine
- Protocol synthesis with network topology
- An Implementation of a system to support debugging parallel programs on the serial computers
- Development of a prototype system easy to construct algorithm animations with declarative mapping rules
- Detection of datahazard in synchronous sequential circuit within plural controlers
- Renewal method of Program Dependence Graph with modification on the program
- Quality of MPEG Transfer over ATM CBR Service Class
- Implementation of test sequence generator for protocols with register operation
- Computer-Assisted Intraoperative Guidance System for Hip Osteotomy
- An algorithm for generating all maximum independent sets of circular arc overlap graphs
- An Implementation of A Simulator of WorkTime C---A Work-Time Paradigm Parallel Programming Language
- Minimizing the Number of FAs in the Hardware Implementation of a Recursive MLD Algorithm for a Linear Block Code
- Reconstruction of Three-Dimensional Structure of Peripheral Bronchi from CT images
- An Extension of LOTOS Compiler for Visualizing Dynamic Behavior of Distributed Systems
- Development of Prototype of Simulator for Software Project Management
- A Simulator for Distributed Execution of a Software Process Description in a Petri Net Model with Registers
- Shortening of Execute Time and Improvement of Convinience of A Verification System for Communication Protocols Modeled as EFSMs
- Full-replicated distributed shared memory in torus machine
- Making of The Translator That Translates an Event-driven Program for Petri Net with Registers into a Cprogram in multi-threads environment.
- Dynamic Bandwidth Management for ATM Networks based on Bandwidth Renegotiation
- An algorithm for finding a maximum bipartite clique in an intersection graph of bipartite orthogonal segments on circular cylinder
- An algorithm for finding a maximum bipartite clique in an intersection graph of bipartite orthogonal segments on circular cylinder
- Implementation of a Verification Supporting System to Pipelined CPUs with In-order Exection
- Implementation of a Verifier to Pipelined CPUs with In-order Exection
- The Universal Recognition Problems for Multiple Context-Free Grammars and for Constraint-Based Grammars
- Snapshot Algorithms for Extended Distributed Mobile Systems
- Two Travellers Shortest Paths Problem under the Obstruction
- The development of simulation system in object oriented CASE,which reflect in models and acquire simulation's information
- Developing User Interface Subsystem of Simulator for Specifications Described in a Petri Net Model with Registers
- Developing User Interface Subsystem of Simulator for Specifications Described in a Petri Net Model with Registers
- The Generative Capacity of Some Extended Versions of NC-LFG's
- Realization hardware of neural network algorithm for N-Queen ploblem using high-level CAD.
- Development of State Diagram Editor with Fuculty of Invariant Prooving for Synchronous Sequential Logic Circuit based on Algebraic Methods
- Acquiring 3D Models of Non-Rigid Moving Objects from Time and Viewpoint Varying Image Sequences: A Step Toward Left Ventricle Recovery
- A Symbolic Description of a Graphic Chart Image
- Production of Processor Array with Reconfigurable Bus System Simulator
- A System for Collecting User Operation Records from a number of Users on GUI Environment
- Possibility Detection for Global Predicates in Distributed Systems
- A Trial of Process Assessment Tools Based on Constructed Assessment Documents
- To compare the algorithms for Traveling Salesman Problem and propose a new neural network algorithm
- The realization of the method based on purposive observation to understand an environment
- An Efficient Method of Generating Test Sequences Based on Protocol Composition
- A Taxonomy of Software Visualization Systems Based on Utilization Forms
- Design of Remote Comtrolable AV Device Object
- creation and evaluation of a proposing method which constructed protocol which has fault-tolerance based on comminucation protocols in 2-ECFSM model
- Fast Algorithm for Generating All Maximum Independent Sets of Chordal Graph
- Mutual Transformation of Information by Natural Language and Pictorial Information for Supporting of Understanding a Route
- Mutual Transformation of Information by Natural Language and Pictorial Information for Supporting of Understanding a Route
- Network Quality Control Mechanism in a Distributed Multimedia Presentation System
- Relations of Tree On Tree Bipartite Graphs
- About A Confidence Evaluation of A Solution on Making Phylogenetic Tree Problem
- Extraction of Keyframes from an Image Sequence with consideration of Music
- On a selection method for good convergence in Genetic Algorithms
- Development of Tool for Calculating New Metrics of C++ Program Complexity
- Generating the cooperative responses considering users' interests and concerns
- Visual secret sharing ---A survey and a proposal of an authentication system using fingerprints
- Coding Region Detection and Classification on the Markov Analysis
- Neural Network Approaches for Segmented Channel Routing for Row-Based FPGAs
- Serialization Graph Testing that considered Independency of Local Databases
- A Dependability Evaluation for International Video Transmission System with Usage Status
- The Recovery in Distributed Database under the condition of Avoiding Cascading Abort

- Neural Network Parallel Algorithms for Packet Access Control Problems in Multicast Packet Switching Systems
- Automatic Extraction of Leukocyte Motion in Microvessels Using Spatiotemporal Image Analysis
- Automatic Extraction of Leukocyte Motion in Microvessels Using Spatiotemporal Image Analysis
- Planarity testing argorithm for one graph with some restrictions
- Assignment of Virtual Processors on Shared Memory Style SPMD Programs
- Assignment of Virtual Processors on Shared Memory Style SPMD Programs
- Solving the uncapacited plant location problem on series-parallel graph
- Quantitative Evaluation of Software Process Based on Hierarchical Project Management Model
- A Map Information System with a Visual-presentation Environment Including a Route-planning Ability
- A clustering method of a large number of amino acid sequences based on pairwise similarity.
- A Conformance Testing for Communication Protocols Modeled as Couples of FSMs
- An environment to support self-teaching of algorithms with visualization techunique
- A Method for Constructing Self-Stabilizing Protocols modeled as Extended Communicating Finete State Machines.
- Total Video Operational Environment on WAN
- An Implementation of Orthogonal TRS on a Multi-Processor Machine with a Shared Memory
- Some properties on the decision problem of Flat MELL
- A method for schema versioning in an object-oriented database
- A method for schema versioning in an object-oriented database
- Visualization of Hardware Design Support Facility and Automatic Allocation of Data Transfer Resources based on Algebraic Methods
- A Suboptimum Decoding Algorithm for a Linear Code Using its Detail Trellis Structure with Partial Search
- Verification of EFSM-based Communication Protocols Using Timed Reachability Analysis Method
- AS/C++: Reflective Object-Oriented Programming Language with Adaptive-Syntax
- A method to generate test sequences for conformance testing of communication protocols - test sequences for register operations -
- A Design Method of Communication Protocol from Component-Based Service Specifications
- A Message Delively Protocol Preserving Causal Order for Distributed Systems
- Specification of a guarded-command program under the condition of weak fairness
- A method for retrieving from multiple databases in molecular biology
- A method for retrieving multiple databases in molecular biology
- An Efficient Program Dependence Analysis for Pointer Variables
- Navigation Planning for Communicating Route Information based on Landmarks
- Process Environment using WWW
- Object-Oriented CASE Tool supported Reuse of Analysys/Design Phase on History Information
- Performance Analysis of Fast Reservation Protocol with Generalized Bandwidth Reservation Method
- Design and Implementation of the User Authentication System for the Internet
- The Design and Implementation of Distributed Multimedia Presentation System based on Scienario Language with QoS Specification.
- Implementation of News On Demand System with News Recomposition Mechanism
- An Efficient Recognition Algorithm for Multiple Context-Free Languages
- A Viewpoint Determination System for Stenosis Diagnosis in Coronary Angiographic Image Acquisition
- Development of an algorithm to encode 3D structure on protein
- GA-based emerging of a cooperative behavior in a multiple robot system
- The complexity of the shortest paths problem under obstruction on an undirected graph
- 3-D Shape Reconstruction of Articular Cartilage of Femoral Head From MR Images on Multiple Planes
- A method of Extract the discrimination factor of sensitivity representation in line drawing and its applicat- ion
- Deriving Protocol Specification of Real-time Distributed Systems from Service Specification in a Time Petri Net Model with Registers
- Motion planning for multi-link arm in a polygon
- A study on state update methods of neural networks for combinatorial optimization problems

- Model-based Improvement of Software Debugging Process
- Reconfigurable Bus Arrays: Their Computational Power and A Prefix Sums Algorithm
- Study on Fast Data Transfer with Bandwidth Reservation Method on ATM Network
- Evaluating the Block Error Probability of Trellis Codes and Designing a Recursive Maximum Likelihood Decoding Algorithm of Linear Block Codes Using Their Trellis Structure

to ICS Home Page