Kosuke Hiraishi

Learn More
A Boolean network (BN) is well known as one of the models of biological networks such as gene regulatory networks, and has been extensively studied. In this study, for a BN, the verification/control problems are discussed. First, a probabilistic model including both synchronous and asynchronous Boolean dynamics is derived. This model can be generalised as a(More)
To realize a highly efficient embedded system employing an enhanced soft-core processor with SIMD operations, we are developing the MIQS (MIPS Instruction processor with Quadword SIMD extension) system. Generally, in many embedded systems using FPGA and memory devices, relatively low bandwidth restricts memory access performance and the low memory(More)
  • 1