研究者詳細

学術論文
分割表示   全件表示 >>

30 件中 21 - 30 件目

年度
Year
論文題目名
Title of the articles
共著区分
Collaboration
   Classification
NeoCILIUS
   請求番号/資料ID
Request No
掲載誌名 Journal name,出版機関名 Publishing organization,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2008  動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング  共著  http://ci.nii.ac.jp/naid/110007970891 
情報処理学会論文誌:トランザクション「プログラミング」  , 情報処理学会  , Vol.2, No.2(PRO41)  , 54-69  , 2009/03   

概要(Abstract) 動的電圧制御 (DVS: dynamic voltage scaling) は,プロセッサへの供給電圧とその動作周波数をプログラム実行時に変化させる技術であり,現在,多くの商用プロセッサに実装されている.本稿では,デッドラインなどの制約のあるリアルタイムシステムを対象に,DVS システムにおいて動的エネルギー消費のより少ないプログラムを開発する方法論の 1 つを提示する.DVS システムで実行されるプログラムに動的エネルギー消費の最適化が有効であるためには,残り予測実行時間の実行早期の正確な見積りを容易にすることが重要である.そのため,プログラムは何を計算するかに加えどう計算するかをうまく指定する必要がある.しかし,プログラム改変によるエネルギー消費の最適化はプログラムのモジュール性を著しく損なう.本稿では,プログラムから独立し,エネルギー消費の最適化戦略を開発する手法を提案する.提案手法により,エネルギー消費の最適化を行うときに元のプログラムの部分正当性が容易に保存され,元のプログラムおよびエネルギー消費の最適化を行うための評価戦略が独立してそれぞれモジュール性を有するようになった.遅延評価などのプログラミング言語の特徴や構成的アルゴリズム論における組化などを活用することにより半自動化が実現できたことが,本開発法の特徴の 1 つである.本稿では,整列,選択,文字列検索などの基本的なアルゴリズムに提案手法を適用する.また,電力モデルを備えた命令セットシミュレータ(ISS: instruction set simulator)において実験を行い,エネルギー消費がどれだけ最適化されたかを評価する.基本的なアルゴリズムにおいて,本稿のアプローチが有効であることから,複雑なアルゴリズムに対しても本手法が効果的であることが期待される. 

備考(Remarks) 以下で発表したものを改訂したもの.
動的電圧制御システムにおけるエネルギー効率的な関数プログラム, 第71回情報処理学会プログラミング研究発表会. 

2008  A Generalized Framework for Energy Savings in Real-Time Multiprocessor Systems  共著   
Proceedings of 2008 International SoC Design Conference  , IEEE  , 727-732  , 2009/01   

概要(Abstract) A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring application-specific energy-saving potential in multiprocessor systems. This software-centric framework takes advantage of possible power control mechanisms to trade off performance for energy savings. Three existing technologies, i.e., dynamic hardware resource configuration (DHRC), dynamic voltage frequency scaling (DVFS), and dynamic power management (DPM), have been employed in this framework to achieve the maximal energy savings. The problem of determining the optimal task allocation and DEPS configurations is formulated as an integer linear programming (ILP) problem. Several practical issues such as how to reduce measurement and computation time and how to reduce the configuration overhead are also addressed. The effectiveness of DEPS is validated through a case study. 

備考(Remarks)  

2008  Reversible Flowchart Languages and the Structured Reversible Program Theorem  共著   
Automata, Languages and Programming  , Springer  , LNCS 5126  , 258-270  , 2008/08   

概要(Abstract) Many irreversible computation models have reversible counterparts, but these are poorly understood at present. We introduce reversible flowcharts with an assertion operator and show that any reversible flowchart can be simulated by a structured reversible flowchart using only three control flow operators. Reversible flowcharts are r-Turing-complete, meaning that they can simulate reversible Turing machines without garbage data. We also demonstrate the injectivization of classical flowcharts into reversible flowcharts. The reversible flowchart computation model provides a theoretical justification for low-level machine code for reversible microprocessors as well as high-level block structured reversible languages. We give examples for both such languages and illustrate them with a lossless encoder for permutations given by Dijkstra. 

備考(Remarks)  

2007  Reversible Machine Code and Its Abstract Processor Architecture  共著   
Computer Science -- Theory and Applications  , Springer  , LNCS 4649  , 56-69  , 2007/09   

概要(Abstract)  

備考(Remarks) 以下で発表したものを改訂したもの.
Second International Symposium on Computer Science in Russia, CSR 2007, 

2006  Program Optimizations and Transformations in Calculation Form  共著   
Generative and Transformational Techniques in Software Engineering  , Springer  , LNCS 4143  , 144-168  , 2006/11   

概要(Abstract) The world of program optimization and transformation takes on a new fascination when viewed through the lens of program calculation. Unlike the traditional fold/unfold approach to program transformation on arbitrary programs, the calculational approach imposes restrictions on program structures, resulting in some suitable calculational forms such as homomorphisms and mutumorphisms that enjoy a collection of generic algebraic laws for program manipulation. In this tutorial, we will explain the basic idea of program calculation, demonstrate that many program optimizations and transformations, such as the optimization technique known as loop fusion and the parallelization transformation, can be concisely reformalized in calculational form, and show that program transformation in calculational forms is of higher modularity and more suitable for efficient implementation. 

備考(Remarks) 以下を改訂したもの.
Program Optimizations and Transformations in Calculation Form, Ralf Lämmel, João Saraiva and Joost Visser (Eds.) Summer School on Generative and Transformational Techniques in Software Engineering,
Technical Report TR-CCTC/DI-35, Centro de Ciências e Tecnologias de Computaçã, Departamento Informática, Universidade do Minho, Braga, Portugal, pp. 41-66, July 4-8, 2005. 

2004  決定論的2階パターンとプログラム変換への応用  共著   
コンピュータソフトウェア  , 日本ソフトウェア科学会  , Vol. 21、No. 5  , 71-76  , 2004/09   

概要(Abstract)  

備考(Remarks)  

2004  Deterministic Second-Order Patterns  共著   
Information Processing Letters  , Elsevier  , 89(6)  , 309-314  , 2004/03   

概要(Abstract)  

備考(Remarks)  

2003  Deterministic Higher-Order Patterns for Program Transformation  共著   
Logic Based Program Synthesis and Transformation  , Springer  , LNCS 3018  , 128-142  , 2004/08   

概要(Abstract)  

備考(Remarks) 以下を改訂したもの.
Deterministic Second-order Patterns in Program Transformation. Maurice Bruynooghe (Ed.), In Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), pp. 165-178, Uppsala, Sweden, August 2003. Technical Report CW 365 at Dept. of Computer Science, K.U.Leuven, Leuven, Belgium. August 25-27, 2003, Uppsala, Sweden. 

2002  Yicho - A System for Programming Program Calculations  共著   
Mathematical Engineering Technical Reports  , the University of Tokyo  , 7  , 1-17  , 2002/06   

概要(Abstract)  

備考(Remarks)  

2002  変換戦略の記述に基づくプログラムの自動生成システムの実装  共著   
情報処理学会論文誌:トランザクション「プログラミング」  , 情報処理学会  , Vol. 43 No. SIG3  , 62-77  , 2002/03   

概要(Abstract)  

備考(Remarks) 最大マーク付け問題の効率的プログラムの自動生成(情報処理学会第36回プログラミング研究会)を改訂したもの 

Page: [<<PREV] [1] [2] [3] [NEXT>>]