スポンサーリンク
一般社団法人情報処理学会 | 論文
- Checker Generation of Assertions with Local Variables for Model Checking
- A Generalized Framework for Energy Savings in Hard Real-Time Embedded Systems
- エッジ情報のガウス球上分布を用いた物体認識
- Floorplan-Driven High-Level Synthesis for Distributed/Shared-Register Architectures
- A High Parallelism LDPC Decoder with an Early Stopping Criterion for WiMax and WiFi Application
- DVB-T2 LDPC Decoder with Perfect Conflict Resolution
- Globally Optimal Time-multiplexing of Inter-FPGA Connections for Multi-FPGA Prototyping Systems
- A Low Bandwidth Integer Motion Estimation Module for MPEG-2 to H.264 Transcoding
- ユーザインタフェースの遠隔操作による機器間連携
- Accurate Estimation of the Worst-case Delay in Statistical Static Timing Analysis
- NBTI-Induced Delay Degradation Analysis of FPGA Routing Structures
- Effect of Regularity-Enhanced Layout on Variability and Circuit Performance of Standard Cells
- Structured Placement with Topological Regularity Evaluation
- An Algorithm for Diagnosing Transistor Shorts Using Gate-level Simulation
- Partial Product Generation Utilizing the Sum of Operands for Reduced Area Parallel Multipliers
- Efficient Algorithms for Extracting Pareto-optimal Hardware Configurations in DEPS Framework
- A Fast Selector-Based Subtract-Multiplication Unit and Its Application to Butterfly Unit
- A Fault-Secure High-Level Synthesis Algorithm for RDR Architectures
- Scan Vulnerability in Elliptic Curve Cryptosystems
- ソフトウェア制御オンチップメモリにおける演算処理を考慮した低消費電力化手法(プロセッサ技術(2), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))