Tatsuya Abe

发表

ANALYSIS OF CONSTRUCTION PROGRESS DATA IN COMPUTER-ASSISTED CONSTRUCTION MANAGEMENT SYSTEM : A case study of stored data in material handling management system for automated construction system

Toshimi Dobashi, Osamu Tsukagoshi, Kouichi Banno, 1999 .

Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks

Yutaka Arakawa, Shigeaki Tagashira, Tatsuya Abe, 2013, J. Inf. Process..

A General Model Checking Framework for Various Memory Consistency Models

Toshiyuki Maeda, Tatsuya Abe, 2014, IPDPS Workshops.

Local Data Race Freedom with Non-multi-copy Atomicity

Tatsuya Abe, Tatsuya Abe, 2018, SPIN.

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe, 2018, J. Inf. Process..

A general model checking framework for various memory consistency models

Toshiyuki Maeda, Tatsuya Abe, 2014, 2014 IEEE International Parallel & Distributed Processing Symposium Workshops.

Polymorphic computation systems: Theory and practice of confluence with call-by-value

Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi, 2020, Sci. Comput. Program..

A type system for data independence of loop iterations in a directive-based PGAS language

Tatsuya Abe, 2019, MPLR.

A Concurrent System of Multi-ported Processes with Causal Dependency

Tatsuya Abe, 2004, APLAS.

On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP

Mitsuhisa Sato, Tatsuya Abe, Tatsuya Abe, 2012, 2012 41st International Conference on Parallel Processing Workshops.

Model Checking Stencil Computations Written in a Partitioned Global Address Space Language

Mitsuhisa Sato, Toshiyuki Maeda, Tatsuya Abe, 2013, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

Toshiyuki Maeda, Tatsuya Abe, 2016, APLAS.

A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models

Tatsuya Abe, Tatsuya Abe, 2017, Haifa Verification Conference.

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models pdf

Toshiyuki Maeda, Tomoharu Ugawa, Tatsuya Abe, 2016, SETTA.

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

Toshiyuki Maeda, Tatsuya Abe, 2017, J. Inf. Process..

Optimization of a General Model Checking Framework for Various Memory Consistency Models

Toshiyuki Maeda, Tatsuya Abe, 2014, PGAS.

Probabilistic Diagnosis of Short Circuit Fault in Stator Winding of Motor on the Basis of Feature Distributions

Yukio Mizuno, Tatsuya Abe, Hisahide Nakamura, 2010 .

Model checking copy phases of concurrent copying garbage collection with various memory models

Toshiyuki Maeda, Tomoharu Ugawa, Tatsuya Abe, 2017, Proc. ACM Program. Lang..

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

Toshiyuki Maeda, Tomoharu Ugawa, Tatsuya Abe, 2017, VSTTE.

Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution

Mitsuhisa Sato, Tatsuya Abe, 2012, VECPAR.

A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction pdf

Daisuke Kimura, Tatsuya Abe, Tatsuya Abe, 2021, ArXiv.