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

 CiNii Books

表紙  Full Text: CiNii   
目次  Full Text: CiNii    i-v
[OTHERS]  Full Text: CiNii   
Design center and new technology for GRANPOWER 7000 Cluster System  Full Text: CiNii    1-2
The Resource Management And Event Management Realized Highly Available  Full Text: CiNii    3-4
High Speed Interconnect Facility designed for business oriented software  Full Text: CiNii    5-6
Scalable and High-Available Distributed Shared Disks  Full Text: CiNii    7-8
並列DBのための高速で高信頼な分散ロック機構  Full Text: CiNii    9-10
The General-Purpose Scalable Operating System:SSS-CORE : Overiew of the System  Full Text: CiNii    11-12
The General-Purpose Scalable Operating System:SSS-CORE : Implementation and Evaluation of High Performance MPI  Full Text: CiNii    13-14
General-Purpose Massively-Parallel Operating System:SSS-CORE : Compiler optimization for communication overhead reduction  Full Text: CiNii    15-16
Quantitative Analysis of Overheads in Fleng Run-time System on Shared Memory Parallel Computer  Full Text: CiNii    17-18
Ligh-weight Process Libray on SMP Computers : Implementation and Evaluation of Synchronization Primitives  Full Text: CiNii    19-20
Performance Evaluation of Two-level Scheduling in collaboration with Memory Management for Multiprogrammed NUMA Mulitprocessors  Full Text: CiNii    21-22
Visualization of Massively Parallel Program by Grouping Processors  Full Text: CiNii    24-25
Development of Task Scheduler for Continuous Media Application  Full Text: CiNii    26-27
Design of a MPEG play back system on OS/omicron Version 4  Full Text: CiNii    28-29
An Implementation of Softwre PLC Development/Execution Environment for Personal Computers  Full Text: CiNii    30-31
Introduction of migratable Global task on function distributed multiprocessor real-time system  Full Text: CiNii    32-33
On an Implementation of Real-Time Java VM for PCs  Full Text: CiNii    34-35
Study of the Event-Viewer on Real-Time Embedded System  Full Text: CiNii    36-37
Parallelization of the code optimization phase  Full Text: CiNii    38-39
The Evaluation of Expression Scheduling Heuristic (ESH) Algorithm on Super Scalar Processor  Full Text: CiNii    40-41
The Code Optimizing Method by Analyzing Global Equivalent Relations  Full Text: CiNii    42-43
Reegister allocation metthods for Optimal Software Pipelining for Loops with Conditional Branches  Full Text: CiNii    44-45
A Code Performance Tuning System using Profile Information  Full Text: CiNii    46-47
A Technique of Flow Analysis in Higher-Order Languages  Full Text: CiNii    48-49
High Reliable System Implemenetation by using "Distributed Nodes Coopration Technology"  Full Text: CiNii    50-51
Pseudo-Active Replication of Objects for Heterogeneous Processors  Full Text: CiNii    52-53
Highly fault resiliency mechanism between OS and device driver  Full Text: CiNii    54-55
Prototype Vaccine for Excel Macro-Virus  Full Text: CiNii    56-57
A prediction algorithm for process resurce usage based on a state transition model  Full Text: CiNii    58-59
The Verification of Performance Estimate Method for Large-critical Open Systems  Full Text: CiNii    60-61
Design of a Runtime Environment for the Object Oriented OS/omiccron Version 4  Full Text: CiNii    62-63
An architecture of a modular file system on OS/omicron V4  Full Text: CiNii    64-65
Design and Implementation of Internent Protocol on OS/omicron Version 4  Full Text: CiNii    66-67
A Study of Network File System with Multipls Seryers  Full Text: CiNii    68-69
An Implementation of Providing I/O and Syatem-Call's Transparency for a Process Migration Syatem.  Full Text: CiNii    70-71
Design and Implementation of Process Control Mechanism on Tender  Full Text: CiNii    72-73
A method of fast booting mechanism for control system.  Full Text: CiNii    74-75
Methods to solve differential equations with fluctuations using non-Lebesgue intergral formulas for everywhere discontinuous functions  Full Text: CiNii    76-77
"Grid generation to simulate flow in the Yongsangan area"  Full Text: CiNii    78-79
Parallel Processing of SAR Signature Algolism  Full Text: CiNii    80-81
Data management of distributed computation for largescale matrix  Full Text: CiNii    82-83
Department of Mathematics, Faculty of Science and Technology  Full Text: CiNii    84-85
A comparison of three basic conjugate direction methods  Full Text: CiNii    86-87
Effectiveness of the DQGMRES algorithm  Full Text: CiNii    89-90
A stabilized QMR version of block BICG  Full Text: CiNii    91-92
Simulated Diagonalization for Symmetric Eigevalue Problem:convergence of the quasi-Newton's algorithm  Full Text: CiNii    93-94
Eigenvalues of Large Matrices by means of Jacobi-Davidson  Full Text: CiNii    95-96
A Shared Register with Syncronization Using CAM  Full Text: CiNii    97-98
Performance evaluation of communication operations on a torus-connected parallel computer  Full Text: CiNii    99-100
Single Chip Multiprocessor Architecture for Multigrain Parallel Processing  Full Text: CiNii    101-102
Performance improvement of user programs by message prediction.  Full Text: CiNii    103-104
The message routing mechanism and kernel system of a parallel graphics accelerator  Full Text: CiNii    105-106
An educational visualization for loop parallelization  Full Text: CiNii    107-108
Intra data access of ALU-Net on VLDP architecture  Full Text: CiNii    109-110
A study of probability propagation in branch path prediction  Full Text: CiNii    111-112
ウェーヴレット変換のためのスケーラブルなデータ駆動型マシンの一構成法  Full Text: CiNii    113-114
ノイマン型コンピュータのデータ駆動型マシン技術を用いた高速化 : モジュールフェッチを前提とするループ・アンローリングのハードウエアによる実現  Full Text: CiNii    115-116
Network Interface card with address translation buffer : evaluation of memory based communication  Full Text: CiNii    117-118
MonAMI/ES, A Desktop-type Network Computer  Full Text: CiNii    119-120
Application and Performance Evaluation of Bus Snoop Methods for Disk Systems  Full Text: CiNii    121-122
Application and Evaluation of SSTF for Disk Array Systems  Full Text: CiNii    123-124
I/O device control method by memory emulation  Full Text: CiNii    125-126
Issues in the Floor Planning and Layout of Asynchronous VLSI Systems  Full Text: CiNii    127-128
A method for performance improvement of asynchronous pipeline processor  Full Text: CiNii    129-130
A design of Stage-latch for Asynchronous Pipeline  Full Text: CiNii    131-132
Notes on completion signal generation of asynchronous logic circuits based on the Scalable-Delay-Insensitive model  Full Text: CiNii    133-134
Proposal of Asynchronous Cascade ALU Architecture  Full Text: CiNii    135-136
Performance evaluation for Asynchronous Cascade-ALU Processors  Full Text: CiNii    137-138
Effects of Complex Functions for Asynchronous Processors  Full Text: CiNii    139-140
On Rollback Method in Multi-Processor System by Using Temporal Logic  Full Text: CiNii    141-142
Fault Tolerant Array Control with Message Propagation  Full Text: CiNii    143-144
Development of Educational RISC type Processer`MITEC-I'and Practicing a Seminar with `MITEC-I'  Full Text: CiNii    145-146
A Development Seminar Enviroment useing Edicational Prosessor `MITEC-I'  Full Text: CiNii    147-148
The sugestion of processor construct practice enviroment on COMET  Full Text: CiNii    149-150
The suggestion of support environment of processor construct practice environment on COMET  Full Text: CiNii    151-152
The Performance Impact of the design of Program Controlled Cache Level Memory on Multiprocessor  Full Text: CiNii    153-154
Hardware Distributed Shared Memory of OCHANOMIZ-5  Full Text: CiNii    155-156
MP406, 2 CPU shared memory system  Full Text: CiNii    157-158
Outline of a Stack-Based Computer  Full Text: CiNii    159-160
A Compiler for Stack-Based VLIW processor  Full Text: CiNii    161-162
Register Allocation Using Software Bypass Control  Full Text: CiNii    163-164
Load Module Compaction Method for VLIW Processor  Full Text: CiNii    165-166
Loop parallerizing mechanism on On-Chip MIMD Hardware  Full Text: CiNii    167-168
"Prediction of Load Address using Complex-Stride Method"  Full Text: CiNii    169-170
"Exception Recovery Scheme for Multi-Path Executable System"  Full Text: CiNii    171-172
A Study of Branch Control Strategy in Very Large-scale Speculation  Full Text: CiNii    173-174
Transduction Method based on Super Set of Permissible Functions.  Full Text: CiNii    175-176
Low-Power Design with Wired Logic for Tristate CMOS Gates  Full Text: CiNii    177-178
FPGA Circuit Optimization Utilizing Multiple-Output capability of FPGA Blocks  Full Text: CiNii    179-180
Design of Logic Circuits with Wired-ORs by Negetive Function Decomposition  Full Text: CiNii    181-182
Applying the high level design using HDL to an existing gate array  Full Text: CiNii    183-184
Development of SupportSystem for Basic Digital Circuit Design  Full Text: CiNii    185-186
Verification of simulation relation in specification of process  Full Text: CiNii    187-188
A Scheduling Method for Asynchronous VLSI System Design  Full Text: CiNii    189-190
A Timing Simulation Using Selectable Delay  Full Text: CiNii    191-192
並列論理シミュレータのプロセス間通信方式  Full Text: CiNii    193-194
High speed computation of IPD with FPGA  Full Text: CiNii    195-196
A CODEC architecture for Modified Lempel-Ziv-Yokoo with FPGA.  Full Text: CiNii    197-198
High speed computation of GA with FPGA  Full Text: CiNii    199-200
On H1SL Faults Covered by Multiple Times Detection Test Set for SSA Faults  Full Text: CiNii    201-202
A Study on the debugging thought process based on changes in impressions of functions  Full Text: CiNii    203-204
Self Assessment System for IT Engineers : Capability Model and Framework for Assessment  Full Text: CiNii    205-206
Self Assessment System for IT Engineers : Human Factor Assessment"Pentalum"  Full Text: CiNii    207-208
Self Assessment System for IT Engineers : Architecture of System and it's using  Full Text: CiNii    209-210
Design of Training course for asessor of Software Process Asessment  Full Text: CiNii    211-212
Propose of two methods for software process assessment  Full Text: CiNii    213-214
A Study on Object Oriented SoftwareMetrics  Full Text: CiNii    215-216
C++Program Review Support System  Full Text: CiNii    217-218
An Elaboration Technology for C Program  Full Text: CiNii    219-220
A problem report management system with the WWW and E-mail  Full Text: CiNii    221-222
An Implementation of a Distributed Programming Environment with Cooperative Works  Full Text: CiNii    223-224
A Case Study of PSP:Estimating Size and Effort of Exercise programs  Full Text: CiNii    225-226
A Case Study of PSP : An impact on effort distribution and defects density  Full Text: CiNii    227-228
Hierarchically Structured Object Editor;A Prototype  Full Text: CiNii    229-230
A Technique of Making Instance Diagrams for the Deductive Veriflcation of an Object Model  Full Text: CiNii    231-232
Consistency Check for Object-Oriented Design  Full Text: CiNii    233-234
A Tool Integration Framework for Eunice97  Full Text: CiNii    235-236
Developing Wide-area supervisory and control systems using object oriented framework  Full Text: CiNii    237-238
Improvement of Framework for Distributed Supervisory Control Systems  Full Text: CiNii    239-240
Problems of Object-Oriented Technology and Suggestion of its Solution : A case study of Elevator Engineer Scheduling System  Full Text: CiNii    241-242
Introduction of Object Oriented Technology in Business Package Software Development  Full Text: CiNii    243-244
"Development of Workflow System using Object-Oriented Technology"  Full Text: CiNii    245-246
A design for Software Parts Management System using Agent Technology  Full Text: CiNii    247-248
A study of Vocabulary Model and Design Pattern for Probe  Full Text: CiNii    249-250
A study of theagent communication on Probe  Full Text: CiNii    251-252
部品組み合わせによるエージェントアプリケーション開発技法の検討  Full Text: CiNii    253-254
Reuse of Software Components in Agent-Oriented Language Flage  Full Text: CiNii    255-256
Implementation of GUI programming framework(Parts Kit)  Full Text: CiNii    257-258
Partskit:Circuit modeling for GUI programming  Full Text: CiNii    259-260
A Tool for Customizing Business Objects on the basis of Business Policies  Full Text: CiNii    261-262
A Generator for Persistent Business Objects  Full Text: CiNii    263-264
Application of Business Object Concept to Service Operation Systems  Full Text: CiNii    265-266
A design technique for intranet information system to support component reuse.  Full Text: CiNii    267-268
A Method for supporting Framework-based Application Development Using Object Classification  Full Text: CiNii    269-270
A Trial Mechanism of Automatic Behavior Chenges for Objects.  Full Text: CiNii    271-272
Extraction of Design Patterns from Object Oriented Programs.  Full Text: CiNii    273-274
A study on a supporting method for restructuring a class hierarchy  Full Text: CiNii    275-276
A Domain-Specific Language Development Toolkit  Full Text: CiNii    277-278
Prototyping of Interprocedural Parallelizing Compiler "WPP" : Overview  Full Text: CiNii    280-281
Prototyping of Interprocedural Parallelizing Compiler WPP : Evaluation of Constant Propagation with Procedure Cloning  Full Text: CiNii    282-283
Prototyping of Interprocedural Parallelizing Compiler WPP : Variable Privatization Techniques  Full Text: CiNii    284-285
Flow Sensitive Analysing Method of Global Data Using Interprocedural Analysis  Full Text: CiNii    286-287
Automatic Parallelizing Method for Shared Memory Parallel Processors using Interprocedural Analysis  Full Text: CiNii    288-289
Implementation of Automatic Parallelization symstems of loops for distributed computer  Full Text: CiNii    290-291
Design of automatic data distribution and parallelization technique for distributed-memory multicomputers.  Full Text: CiNii    292-293
A Hierarchical Task Level Representation of Java Programs for Parallelization  Full Text: CiNii    294-295
A Study of Unlimited Speculative Execution on Multigrain Parallel Processing  Full Text: CiNii    297-298
An Interprocedural Analysis for Multi-Grain Parallelizing Compilation Scheme  Full Text: CiNii    299-300
A Data-Localization Scheme among Loops in General Macrotask-Graph  Full Text: CiNii    301-302
A Cache Optimization with Macto-Task Earliest Execution Condition  Full Text: CiNii    303-304
Evaluation of Multi-Grain Parallelism in Scientific Programs  Full Text: CiNii    305-306
Type Inference Algorithm for Call-by-Value Languages based on Classical Proofs  Full Text: CiNii    308-309
証明論的手法による一般部分計算の記述  Full Text: CiNii    310-311
A Termination Function of Recursive Programs and Its Application to Partial Evaluation  Full Text: CiNii    312-313
Program Transformation Using Generating Function  Full Text: CiNii    314-315
Implementation of Recursion Removal System for Linear Recursive Programs  Full Text: CiNii    316-317
Recursion Removal From Some Tree Recursive Programs  Full Text: CiNii    318-319
An Evaluation of Recursion Removal in terms of Garbage Avoidance  Full Text: CiNii    320-321
A Solution to Inheritance Anomaly Based on Composition of State Transition Diagrams  Full Text: CiNii    322-323
A Dataflow Parallel Language for Hybrid Programming with Sequential Language  Full Text: CiNii    324-325
An Efficient Implementation of a Concurrent Logic Language KL1 by Introducing Stack Variables  Full Text: CiNii    326-327
Demand Driven Scheduling of KL1 Programs  Full Text: CiNii    328-329
Description of dynamic load balancing on RKL1 and its Evaluation  Full Text: CiNii    330-331
Study of Load Distribution for the Runtime System of Committed-Choice Language Fleng on WS Cluster  Full Text: CiNii    332-333
Implementation of a Parallel Object-Oriented Language ANETL for Windows NT Machine Clusters  Full Text: CiNii    334-335
A proposal of sDPCE language for on chip SIMD processors  Full Text: CiNii    336-337
An Evaluation of sDPCE language for on chip SIMD processors  Full Text: CiNii    338-339
A model of computation with objects and its application to the two-dimensional tracer  Full Text: CiNii    340-341
Visualization of Prolog Program Execution  Full Text: CiNii    342-343
Development of visual programming environment for Control(1)  Full Text: CiNii    344-345
Development of visual programming environment for Control(2)  Full Text: CiNii    346-347
A Programinng by playing a Game  Full Text: CiNii    348-349
An Implementation of ISO Lisp Standard ISLISP system  Full Text: CiNii    350-351
An implementation of ISO-standardized ISLISP system  Full Text: CiNii    352-353
H-Prologにおける大域変数と連想機能  Full Text: CiNii    354-355
An implementation of mobile agents on the Java tuple-space systems  Full Text: CiNii    356-357
A Study of Agent Using a Pseudo Blackboard Model with Java  Full Text: CiNii    358-359
A Distributed Garbage Collection Alogrithm for Mobile Objects  Full Text: CiNii    360-361
レプリケーション拡張HORBでのレプリカ間の一貫性管理  Full Text: CiNii    362-363
Discussion about Object Signing  Full Text: CiNii    364-365
Dcaml:a system for development of heterogeneous distributed applications  Full Text: CiNii    366-367
Design and Implementation of the Dcaml native compiler  Full Text: CiNii    368-369
Design and implementation of the Dcaml bytecode compiler  Full Text: CiNii    370-371
A Requiements Elicitation Tool for Object-Oriented Development  Full Text: CiNii    372-373
A Case Study about System Requirements Modeling Process supported by Repository  Full Text: CiNii    374-375
概念処理を用いたソフトウェア要求仕様記述作成に関する一考察  Full Text: CiNii    376-377
Expression of dialog process based on Extensible WELL  Full Text: CiNii    378-379
ソフトウェアアーキテクチャ記述言語変換系の設計と実装  Full Text: CiNii    380-381
Applying an OO prototyping tool to plant monitoring systems  Full Text: CiNii    382-383
A Case Study of Specifying Emacs in CafeOBJ  Full Text: CiNii    384-385
Representing Software Specification & Design Methods with Hypertext  Full Text: CiNii    386-387
Generating Algorithm of Total Specificational Description by using Finite State Machine and Petrinet from Distributed Specificational Description  Full Text: CiNii    388-389
A Linear Time Algorithm of a Shortest Path on a Ladder Network  Full Text: CiNii    390-391
A Construction Algorithm of Steiner Trees in λ-Geometry when λ=3m  Full Text: CiNii    392-393
On Generation of Minimal Separating Sets of a Graph  Full Text: CiNii    394-395
study of automatic layout of directed graph  Full Text: CiNii    396-397
A Method for Overflow Free Calculation of a Composite Ratio Used for Generating Random Connected Graphs  Full Text: CiNii    398-399
A study on the watchman route problem with obstacles  Full Text: CiNii    400-401
Algorithm Animation System on WWW  Full Text: CiNii    402-403
Parallelization of molecular dynamics simulation using subtask division  Full Text: CiNii    404-405
Sκ-factorization algorithm of symmetric complete tripartite digraphs  Full Text: CiNii    406-407
Data Hiding Keys for Ordering Blocks at Embedding and Detection  Full Text: CiNii    408-409
Statistical Indistinguishability of a Mutual Identification Protocol Using Zero-Knowledge Proofs in Interconnected Network  Full Text: CiNii    410-411
Higher order differential attack on SPEED cipher  Full Text: CiNii    412-413
A high-speed approximate string matching algorithm applicable to the inverted-index  Full Text: CiNii    414-415
A Method for Direct Search of Compressed Files  Full Text: CiNii    416-417
Computational complexity for proof in MELL  Full Text: CiNii    418-419
Strict Local Testability:a Linguistic Model for Syntactical Analysis  Full Text: CiNii    420-421
Measurement of Computational Complexity using Random Data Server  Full Text: CiNii    422-423
A Suitability of Slicing Algorithms for Program Modification  Full Text: CiNii    424-425
Implementation and Evaluation of Slicing Algorithms for the parallel machine  Full Text: CiNii    426-427
A Graph Grammar for Signal Flow Graph  Full Text: CiNii    428-429
Object-Oriented Programming of Package Flow Model for Heat Flow Analysis  Full Text: CiNii    430-431
A method of problem solving using the inverse problems of thinking  Full Text: CiNii    432-433
A Proposal of Object Model with High Similarity to Target World  Full Text: CiNii    434-435
Prototype of a Workflow System on a Platform for Distributed Objects  Full Text: CiNii    436-437
Development of Education Web Site by Program Language Java  Full Text: CiNii    438-439
Shlaer-Mellor System Analysis Support System  Full Text: CiNii    440-441
[OTHERS]  Full Text: CiNii   
[INDEX]  Full Text: CiNii   
[OTHERS]  Full Text: CiNii   
裏表紙  Full Text: CiNii   

PAGE TOP