全国大会講演論文集 Information Processing Society of Japan (IPSJ) 第57回平成10年後期(1) (19981005)

 CiNii Books

表紙  Full Text: CiNii   
目次  Full Text: CiNii    i-iv
[OTHERS]  Full Text: CiNii   
Diagonalization of Symmetric Matrices by Blocking Methods  Full Text: CiNii    1
Error Analysis of Recurrence Technique for Calculation of Integral of S^x_0J_v(t)/tdt.  Full Text: CiNii    2-3
Condition Number of Finite Difference Matrix in Stretching Coordinate Transformation and Its Numerical Error  Full Text: CiNii    4-5
New application method of the linear fractional transformation in numerical solution for a system of algebraicequations  Full Text: CiNii    6-7
Efficiency improvement to search of intial values in numerical solution for a system of algebraic equations  Full Text: CiNii    8-9
Constructing Automatically Tuned Parallel Numerical Calculation Library : A Case of Symmetric Sparse Linear Equations Solver  Full Text: CiNii    10-11
二電子積分演算装置の開発  Full Text: CiNii    12
Prallel Programming Environment with Dependence Driven Subtask Scheduling : Desigen and Application to Molecular Dynamics Simulation  Full Text: CiNii    13-14
Static Task Allocation Using GA on Stream-based Computing  Full Text: CiNii    15-16
3D vector fields visualization  Full Text: CiNii    17-18
性能評価シミュレータにおけるトランザクションの発生について  Full Text: CiNii    19-20
A study on statistical issue of parallel discrete event simulations  Full Text: CiNii    21
Combinatorial circuit representation of the Reed-Solomon encoder and decoder  Full Text: CiNii    22-23
A Hardware Algorithm of a Variable-Radix CORDIC Processor  Full Text: CiNii    24-25
Performance evaluation of the processor corresponding to the latency deviation with buffer check instruction  Full Text: CiNii    26-27
Dynamic Optimization of Instruction Window  Full Text: CiNii    28-29
Performance Evaluation of a new RISC architecture "aleph" for Multimedia systems  Full Text: CiNii    30-31
Development and verification of reconfigurable adaptive device prototype chip RHW1  Full Text: CiNii    32-33
Preliminary Studies of Very Large Data Path Architecture's Performance  Full Text: CiNii    34-35
Instruction Streaming : Instruction sequence adapted for speculative multi path processing  Full Text: CiNii    36-37
A Study of the data path construction unit on VLDP architecture  Full Text: CiNii    38-39
ALU-NET : The Execution Mechanism of VLDPArchitecture  Full Text: CiNii    40-41
Logic optimization of the Reed-Solomon encoder and decoder represented in combinatorial circuits  Full Text: CiNii    42-43
Data Exchange Method of Multiplatform Disk System  Full Text: CiNii    44-45
Design and Analysis of Hierarchical Interconnection Network : de Brujin Torus  Full Text: CiNii    46-47
Virtual-Channel Flow Control for Wormhole Routing  Full Text: CiNii    48-49
Evaluation of the Architecture for the Cache Coherence Problem for Tightly Coupled Multi-Processor  Full Text: CiNii    50-51
連続メディア処理向けカーネルの性能評価  Full Text: CiNii    52-53
An Implementation of Emulator for Real-time Control Mechanism on Personal Computers  Full Text: CiNii    54-55
The efficacy of SDL on real-time system  Full Text: CiNii    56-57
An On-Chip Real-time OS for Multimedia Applications  Full Text: CiNii    58-59
A Summary of Reliable, Real-Time, and Reconfigurable system(R3)project  Full Text: CiNii    60-61
R3-System : A Dynamic Protocol Configuration Model Adaptable to Communication Environment  Full Text: CiNii    62-63
Acknowlegment for High-speed and Reliable Network : Periodical Acknowledgment  Full Text: CiNii    64-65
Network Environment in the MKng Project : Integrated Control Mechanism for Network Entity in Mobile Network  Full Text: CiNii    66-67
SMAF : A Framework for Future Embedded Systems  Full Text: CiNii    68-69
SMAF System : Adaptive migration of GUI widgets in Mogul  Full Text: CiNii    70-71
A method to optimize datapath in designing digital signal processor  Full Text: CiNii    73-74
Parallel Logic Simulator WIZDOM  Full Text: CiNii    75-76
Evaluation of Software Test Results with Enbugged Simuration  Full Text: CiNii    77-78
The Improvement of DC Parametric Test Pattern Selection Algorithm.  Full Text: CiNii    79-80
The autoatic placement method that the parts characteristic was taken into consideration  Full Text: CiNii    81-82
A Congestion-based Wire Load Estimation  Full Text: CiNii    83-84
A timing-driven multi-layer global routing for large scale sircuit  Full Text: CiNii    85-86
Flow Calculation for Planar Routability Checking  Full Text: CiNii    87-88
DKM / The Evaluation of Adaptive Kernel Object Management Mechanism  Full Text: CiNii    89-90
Dynamic Adaptation using LKM  Full Text: CiNii    91-92
Evaluation of Exchanging Time about Mechanism for Exchanging Program Part of Running. : influence of the other process  Full Text: CiNii    93-94
Design and Implementation of Speed Control Mechanism of Program Execution on Tender  Full Text: CiNii    95-96
Variable Sized Pages in Virtual Memory System  Full Text: CiNii    97-98
An Overview of Parallel File System PF3  Full Text: CiNii    99-100
A Method of File Management in Parallel File System PF3  Full Text: CiNii    101-102
Cryptographic Software Plugged into File System  Full Text: CiNii    103-104
Support to Generate Device Deivers  Full Text: CiNii    105-106
Optimal Checpoint Interval for the Error Detection by Redundancy  Full Text: CiNii    107-108
異なる障害状態をもつシステムのチェックポイント / ロールバック方策  Full Text: CiNii    109-110
The Development and Evaluation of OPEN-PREST : Cross-Platform Data Transfer Facility  Full Text: CiNii    111-112
A Data-Strucure for Sets Based on Hash List  Full Text: CiNii    113-114
An effient realization of dyanamic pattern matching machines  Full Text: CiNii    115-116
Prototyping of a New Binary Computation Tree for Reliability Design  Full Text: CiNii    117-118
Generation of an Optimal Binary Computation Tree for Reliability Design  Full Text: CiNii    119-120
A Proof of Correctness for Translating Algorithm from LL(2)Grammar to Strong-LL(2)Grammar  Full Text: CiNii    121-122
A Parsing Method for the LL(2) Grammar Using a Lookahead Action on Pushdown List  Full Text: CiNii    123-124
Pipeline Processing for Urban Map Recognition  Full Text: CiNii    125-126
A Technique for Redusing Computation Time of Projection in a Decision Procedure for Rational Presburger Sentences  Full Text: CiNii    127-128
Delaunay diagonal flip for Three-dimensional Dynamical Lagrangian Remeshing(DLR)method and the problems  Full Text: CiNii    129-130
A Note on the Circuit-Switched Fixed Routing in Networks  Full Text: CiNii    131-132
An Algorithm for Finding a Noncrossing Forest  Full Text: CiNii    133-134
S_k-factorization algorithm of symmetric complete multipartite digraphs  Full Text: CiNii    135-136
A Note on Efficient Layouts for de Bruijn Networks  Full Text: CiNii    137-138
A Polynomial-Time Algorithm for Finding l-Vertex-Colorings of Partial k-Trees  Full Text: CiNii    139-140
Consider cipher algorithm of basically impossible decipher  Full Text: CiNii    141-142
Pattern Matching Algorithm in LZW Compressed Text  Full Text: CiNii    143-144
An approximation algorithm for the large-size job-shop scheduling problem based on phasing-down method  Full Text: CiNii    145-146
A Study of Optimal Scheduling for 3-Processor Systems  Full Text: CiNii    147-148
Computer Assisted Design of Device Drivers in Interface.  Full Text: CiNii    149-150
About Device Driver design method based on the Timing Chart.  Full Text: CiNii    151-152
Visual Programming Method of Sequence Controller Programs  Full Text: CiNii    153-154
Proposal of the visual programming environment for Java  Full Text: CiNii    155-156
Conversion from Procedural Program to Object Oriented Program.  Full Text: CiNii    157-158
Developing Card Game Programs Using Object Framework  Full Text: CiNii    159-160
A Method of Constructing the Java Man-machine Client for Internet/Intranet Supervisory Control and Data Acquisition Systems.  Full Text: CiNii    161-162
Partial Evaluation for the C Language and its Application  Full Text: CiNii    163-164
Developing system for three tier business applications : Hyperproduce II Overview  Full Text: CiNii    165-166
Developing system for three tier business Applications : HYPERPRODUCE II for Server Part  Full Text: CiNii    167-168
Developing system for three tier business Applications : HYPERPRODUCE II for Client Part  Full Text: CiNii    169-170
Generating documents in Japanese for business apprications  Full Text: CiNii    171-172
オブジェクト指向分析・設計手法の研究  Full Text: CiNii    173-174
Productivity evaluation of client / server system  Full Text: CiNii    175-176
A Comparision between The ISO Quality System and The MIL Quality System  Full Text: CiNii    177-178
ソフトウェアプロセスアセスメントの実用化のための枠組みについて  Full Text: CiNii    179-180
Object Base For Software Process Management System With MonoProcess Software Process Model  Full Text: CiNii    181-182
視点の違いによるソフトウェアプロセスの分類と利用  Full Text: CiNii    184-185
A Reference Model of Object Oriented Technologies in Engineering Business  Full Text: CiNii    186-187
Tool Support for Structuralizing Requirements  Full Text: CiNii    189-190
A consideration of a finding process for experienced technique  Full Text: CiNii    191-192
Integration of Multiple Views in Software Development.  Full Text: CiNii    193-194
A System Simulator for effective software development.  Full Text: CiNii    195-196
"Development of Graphical Interface using State-Transition-System for System requirement Specification"  Full Text: CiNii    197-198
A support method of customizing functional specification  Full Text: CiNii    199-200
An Investigation of Effectiveness of the Deductive Verification Method on an Object Model  Full Text: CiNii    201-202
IDIS(Instance Diagram Induction System): a tool for verifying an Object Model from induced Instance Diagrams  Full Text: CiNii    203-204
Refinement of Use-Case-based Object Identification  Full Text: CiNii    205-206
A Study on Robustness of Object-Oriented Models  Full Text: CiNii    207-208
A Study on Beginners' Errors in Object-Oriented Analysis  Full Text: CiNii    209-210
Design the Structure of a Program using primitive Modules  Full Text: CiNii    211-212
A Case Study of Component Technology  Full Text: CiNii    213-214
"The use of auto-generation tool for WWW application source in Mission Critical System"  Full Text: CiNii    215-216
Communityware Base by Distributed Components  Full Text: CiNii    217-218
Framework Navigator : a supporting tool for implementation with framework  Full Text: CiNii    219-220
A Study of Applying Interface Matching Technology to Distributed Objects  Full Text: CiNii    221-222
Supporting Design Patterns in ClassFactory  Full Text: CiNii    223-224
Source Code Generation in Aiding System for Design Patterns  Full Text: CiNii    225-226
A study on a support for restructuring a class hierarchy  Full Text: CiNii    227-228
[OTHERS]  Full Text: CiNii    229
A study on dynamic inheritance of objects  Full Text: CiNii    230-231
Evolution analysis of projection-based specification composition  Full Text: CiNii    232-233
Analysis of concurrent Processes with classifying periodic log patterns  Full Text: CiNii    234-235
Formal Specification in CafeOBJ of Railway Signal System and its Verification  Full Text: CiNii    236-237
Specification and Verification using Extended Timed Automata  Full Text: CiNii    238-239
Verification of Railway Interlocking Systems  Full Text: CiNii    240-241
Design Considerations of Learning-Ware for CafeOBJ Language  Full Text: CiNii    242-243
動作履歴を用いた焦点絞り込みによるプログラム理解  Full Text: CiNii    244-245
testCASE : CASE Tools for Microcomputer Software(1) : Outline of testCASE  Full Text: CiNii    246-247
testCASE : CASE Tools for Microcomputer Software(2) : State Transition Table and Test Sequence Generation  Full Text: CiNii    248-249
testCASE : CASE Tools for Microcomputer Software(3) : How to Use test CASE in Practice  Full Text: CiNii    250-251
Generating Test Cases from Table-formed Specifications  Full Text: CiNii    252-253
Proposal of debug method for remote program by Java.  Full Text: CiNii    254-255
Implementation of distributed debugging system based on vector clock  Full Text: CiNii    256-257
CEK-抽象機械による移動オブジェクトの形式的定義  Full Text: CiNii    258-259
Formalization of Mobile Agent with Ambient Calculus  Full Text: CiNii    260-261
Pi-calculus Based Operational Semantics of An Actor-based Language  Full Text: CiNii    262-263
Isomorphism between linear logic and parallel Lisp  Full Text: CiNii    264-265
Static analysis of KL1 programs  Full Text: CiNii    266-267
Package Flow Model by Neural Network Representation for Heat Flow Analysis  Full Text: CiNii    268-269
Learning Fuzzy Control Rules for Inverted Pendulum by α Constraint Method  Full Text: CiNii    270-271
Study of automatic layout of multi-level digraph  Full Text: CiNii    272-273
Attribute Signal Flow Graph Grammar  Full Text: CiNii    274-275
System Structure Generation and Evaluation Based on the Block Diagram Grammar  Full Text: CiNii    276-277
Relationships among Finite Element Parameters and Reconstruction Algorithms  Full Text: CiNii    278-279
Empirical Evaluation of an Inference Algorithm for Unions of Patterns by Minimal Multiple Generalization  Full Text: CiNii    280-281
Protein folding in the dihedral angle space using a genetic algorithm.  Full Text: CiNii    282
An Application of an Evolutionary Computation to the Design of Efficient Hierarchical Organizations.  Full Text: CiNii    283-284
A parallelizing compiler for multiple-precision number  Full Text: CiNii    285-286
Coarse-grain/Fine-grain Parallel Processing Method on Workstation Cluster Enviroment  Full Text: CiNii    287-288
Data Redistribution Optimization for Distributed Shared Memory by Array Reshape  Full Text: CiNii    289-290
Access Pattern Analysis for Array Data in Incremental Parallel Processing  Full Text: CiNii    291-292
"An approach for code scheduling in presence of register constraints"  Full Text: CiNii    293-294
Improvement of Register Allocation Technique using Register Existence Graph  Full Text: CiNii    295-296
A Loop Versioning Technique using Predicated Dependence Graph  Full Text: CiNii    297-298
An Inter-procedural Approach for Optimizaions of Java Programs  Full Text: CiNii    299-300
Mobidget : Mobile and distributed programming language  Full Text: CiNii    301-302
Implementation of mobile and distributed functions in Mobidget  Full Text: CiNii    303-304
The Management of Distributed Objects in Mobidget  Full Text: CiNii    305-306
Information retrieval from distributed data bases with Mobidget  Full Text: CiNii    307-308
Mobile Code Adaptation using Dynamic Code Generation  Full Text: CiNii    309-310
Mobile Agent Language with Reflection  Full Text: CiNii    311-312
A Framework for Reliable Mobile Agents  Full Text: CiNii    313-314
A Client Simulator for the Distributed Object Environment  Full Text: CiNii    315-316
Development of Design environment for Distributed environment using Status transition table  Full Text: CiNii    317-318
変更object化方式によるreplication systemとそれによるdisconnected operation  Full Text: CiNii    319-320
"An implementation of ISO-standardized ISLISP object system"  Full Text: CiNii    321-322
Interpreter and Compiler of the ISO Standard Lisp ISLISP  Full Text: CiNii    323-324
On the mechanism of management for sharing C++ objects with other processes  Full Text: CiNii    326-327
"Using Task Duplication to Reduce Communication Delay"  Full Text: CiNii    328-329
"Dynamic Load Distribution for KLIC"  Full Text: CiNii    330-331
Treadmill Garbage Collection Considering the Object's life time  Full Text: CiNii    332-333
Evaluation of performance of generational collection for KLIC  Full Text: CiNii    334-335
[OTHERS]  Full Text: CiNii   
[INDEX]  Full Text: CiNii   
[OTHERS]  Full Text: CiNii   
[INDEX]  Full Text: CiNii   
[OTHERS]  Full Text: CiNii   
裏表紙  Full Text: CiNii   

PAGE TOP