Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yasushi Shinjo
Static Analysis Based Invariant Detection for Commodity Operating Systems
Related publications
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Proceedings of the Institute for System Programming of RAS
Application-Specific Service Technologies for Commodity Operating Systems in Real-Time Environments
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
Algorithmic Support for Commodity-Based Parallel Computing Systems.
Static Timing Analysis for Hard Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Operating Characteristics of a High Current Electro-Static Accelerator for a Contraband Detection System
Invariant Hough Random Ferns for RGB-D-based Object Detection
Optical Engineering
Engineering
Optics
Atomic
Molecular Physics,
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs
Soccer Ball Detection in Occluded Situations for Single Static Camera Systems
Static Analysis for Event-Based XML Processing
BRICS Report Series
