Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Christophe Suere
Tannah Little
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Thomas Stimpson
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TOSHIYUKI MAEDA
Author Info
Open Visualization
Name
Affiliation
Papers
TOSHIYUKI MAEDA
RIKEN AICS, Kobe, Hyogo, Japan
9
Collaborators
Citations
PageRank
8
21
3.70
Referers
Referees
References
31
362
197
Search Limit
100
362
Publications (9 rows)
Collaborators (8 rows)
Referers (31 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Reordering Control Approaches To State Explosion In Model Checking With Memory Consistency Models
1
0.35
2017
Model checking copy phases of concurrent copying garbage collection with various memory models
1
0.63
2017
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper.
1
0.36
2017
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations.
3
0.39
2017
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.
1
0.35
2016
Extracting facts from performance tuning history of scientific applications for predicting effective optimization patterns
2
0.36
2015
A General Model Checking Framework for Various Memory Consistency Models
7
0.45
2014
Optimization of a General Model Checking Framework for Various Memory Consistency Models
5
0.47
2014
Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code
0
0.34
2014
1