検索結果を絞り込む

データ種別

研究データ 1 論文 185 博士論文 2

本文・本体へのリンク

本文・本体リンクあり 185

〜

検索結果 185 件

  • 1 / 1

  • 仮想計算機モニタによるシステムコール検知箇所の推定可能なOS種別の拡張

    大森, 卓, 佐藤, 将也, 山内, 利宏, 谷口, 秀夫 コンピュータセキュリティシンポジウム2023論文集 139-146, 2023-10-23

    仮想計算機上のプログラムが発行したシステムコールを仮想計算機モニタにより検知する手法がある．検知箇所のアドレスは，OS バージョンの更新によるシステムコール処理の変更やアドレス空間のランダム化により，カーネル起動処理前に計算することができない．そこで，x86-64 のCPU で動作するLinux を対象に，カーネル起動処理前の計算によらず，ゲストOS …

    情報処理学会

  • AI Accelerator Support in Onnx-mlir Deep Learning Compiler

    Tung, D. Le, Tong, Chen, Alexandre, E. Eichenberger, Haruki, Imai, Kiyokuni, Kawachiya, Yasushi, Negishi, Kevin, O'Brien, Gong, Su 情報処理学会論文誌プログラミング（PRO） 16 (2), 33-33, 2023-06-29

    ...Onnx-mlir is an open-source compiler to compile artifical intelligence (AI) models in the Open Neural Network Exchange (ONNX) format into native code on different architectures such as x86, Power, and...

    情報処理学会

  • WebAssemblyをx86-64に変換可能なトランスレータの試作と評価

    松本, 怜也, 平山, 勇太, 水村, 総之介, 早川, 智一 第85回全国大会講演論文集 2023 (1), 89-90, 2023-02-16

    ...本論文では，WebAssembly（以下，Wasm）をx86-64に変換した場合の実行性能について報告する．我々は以前の研究で，Wasmをサーバサイドで変換・実行する高速化フレームワークの提案を行った．この研究では，変換可能な実行環境としてJava Virtual Machineを採用したが，x86-64を対象とした変換・実行については言及していなかった．そこで我々は，Wasmをx86-64に変換する...

    情報処理学会

  • Rubyの高速なインタプリタ及び実行時コンパイラの開発

    一色, 聡一郎 第64回プログラミング・シンポジウム予稿集 2023 101-102, 2023-01-06

    ...現在われわれはRubyの独自実装として仮想マシン形式のインタプリタおよび実行時にx86-64機械語を生成するJITコンパイラを一から設計・開発しているので報告する。特徴としては、インタプリタ自体も機械語で記述することにより、インタプリタ・JITコード間の遷移が高速に行なえることが挙げられる。開発のごく初期段階ではあるが、Rubyの仮想マシンやJITコンパイラと比較しても良好な実行速度を得ている....

    情報処理学会

  • GPU implementations of deflate encoding and decoding

    Daisuke Takafuji, Koji Nakano, Yasuaki Ito, Akihiko Kasagi Concurrency and Computation: Practice and Experience 35 (19), 2022-11-06

    ...We have evaluated the performance of our GPU implementations using an NVIDIA A100 GPU and compared them with parallel/sequential Deflate encoding and decoding on the Intel X86 multicore CPUs using multiple...

    DOI Web Site Web Site 参考文献22件

  • x86プロセッサーへの固執を絶つIntel NVIDIAに全力で対抗

    日経エレクトロニクス = Nikkei electronics : sources of innovation (1242) 61-65, 2022-08

    ...自前のx86アーキテクチャーに固執せずに、NVIDIAが優位に立つ製品に対抗する新たなプロセッサーを、2022年5月10日と11日にビジネス顧客に向けて開催したプライベートイベント「Intel　Visio…...

    PDF Web Site

  • Zen3: The AMD 2<sup>nd</sup>-Generation 7nm x86-64 Microprocessor Core

    Thomas Burd, Wilson Li, James Pistole, Srividhya Venkataraman, Michael McCabe, Timothy Johnson, James Vinh, Thomas Yiu, Mark Wasio, Hon-Hin Wong, Daryl Lieu, Jonathan White, Benjamin Munger, Joshua Lindner, Javin Olson, Steven Bakke, Jeshuah Sniderman, Carson Henrion, Russell Schreiber, Eric Busta, Brett Johnson, Tim Jackson, Aron Miller, Ryan Miller, Matthew Pickett, Aaron Horiuchi, Josef Dvorak, Sabeesh Balagangadharan, Sajeesh Ammikkallingal, Pankaj Kumar 2022 IEEE International Solid- State Circuits Conference (ISSCC) 2022-02-20

    DOI PDF 被引用文献1件

  • A GPU-Based Kalman Filter for Track Fitting

    Xiaocong Ai, Georgiana Mania, Heather M. Gray, Michael Kuhn, Nicholas Styles Computing and Software for Big Science 5 (1), 20-, 2021-10-05

    ...centres, including those used to process High-Energy Physics data and simulations, are increasingly providing significant fractions of their computing resources through hardware architectures other than x86...

    DOI PDF Web Site 被引用文献1件

  • DCUIP Poisoning Attack in Intel x86 Processors

    SHIN Youngjoo IEICE Transactions on Information and Systems E104.D (8), 1386-1390, 2021-08-01

    <p>Cache prefetching technique brings huge benefits to performance improvement, but it comes at the cost of microarchitectural security in processors. In this letter, we deep dive into internal …

    DOI Web Site 参考文献4件

  • Elixirにおけるデータ並列スケルトンに基づくSIMD並列化の性能評価

    山崎, 進, 久江, 雄喜 情報処理学会論文誌プログラミング（PRO） 14 (1), 17-17, 2021-01-27

    ...・最適化することで，Enumに比べて，整数演算で2.25倍，浮動小数点数演算で4.48倍，文字列置換で3.85倍の性能向上，Flowに比べて，整数演算で21.0倍，浮動小数点数演算で247倍，文字列置換で 7.26 × 10 3倍の性能向上を達成したことである．リストの各要素を素体のロジスティック写像を算出する整数演算について，演算カーネルのループ内の命令カウントの中でSIMD命令が占める割合は，x86...

    情報処理学会

  • Compiling ONNX Neural Network Model Using MLIR

    Tung, D. Le, Gheorghe-Teodor, Bercea, Tong, Chen, Alexandre, E. Eichenberger, Haruki, Imai, Tian, Jin, Kiyokuni, Kawachiya, Yasushi, Negishi, Kevin, O'Brien 情報処理学会論文誌プログラミング（PRO） 14 (1), 18-18, 2021-01-27

    ...We are developing a framework for compiling a model in ONNX into a standalone binary that is executable on different target hardwares such as x86, P, and Z@....

    情報処理学会

  • エミュレータを用いた大規模IoTシステムテストのための実験環境構築機能の開発

    中村, 拓人, 大畑, 誠弥, 湯村, 翼 第28回マルチメディア通信と分散処理ワークショップ論文集 215-218, 2020-11-04

    ...Internet of Things (IoT) 機器を用いたシステムは普及が進み，様々な用途で利用される．IoT システムの安定稼働には試験が肝要であるが，大規模な IoT システムを試験を実施するためには実機と場所を要する．情報通信研究機構の StarBED は，大規模な実験を目的とし，多数のコンピュータノードで構成されたネットワークテストベッドである．StarBED のノードの CPU は x86...

    情報処理学会

  • Interior dynamics of tidally locked super-Earths: The case of LHS 3844b

    Tobias G. Meier, Dan J. Bower, Tim Lichtenberg, Paul J. Tackley 2020-10-08

    ...xw5bsGYD3MgxIA0c9MFySDyQhMhp4fI3cBHSYj/90Pk2c/Ix6JERQfRmUyGzYtYaJLD2o5dtSEsw1SqxYXoDR76utP4bBqqQv4KUy2mI/jIz8YMTOtf279+PQnmyEwSlyc/PZ1e8Ofbwww87URg+fLhfixiICOksfcPYsWOV3MNfS5zifH96FoeF3Ds93WbOOM6Onz7Ddlx6iT357HN23bz5NqS9x86AQBw...

    DOI 被引用文献1件

  • 腎臓癌を原発巣とした転移性脊椎腫瘍により対麻痺を呈した症例～転移性脊椎腫瘍および片腎摘出後のリスク管理～

    石橋 香里, 桂田 功一, 佐々木 健人, 翠川 夕紀, 川嶋 実里, 平野 健大, 鈴木 壽彦, 山田 健治, 木下 一雄, 樋口 謙次 関東甲信越ブロック理学療法士学会 38 (0), F-046-, 2020

    ...X+44日に胸椎前方固定術を行われ、X+76日に腎臓摘出術を施行され、X+86日にリハビリテーション病院へ転院となった。なお、症例には本発表の意義と目的を口頭にて説明し同意を得た。</p><p>【理学療法経過】転移性脊椎腫瘍により第8胸髄以下の完全対麻痺を認めた。その他の脊椎と臓器への転移を認めず、化学療法開始後も明らかな副作用は認めなかった。...

    DOI

  • Persistency semantics of the Intel-x86 architecture

    Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019-12-20

    ...To close this gap, we develop the Px86 (‘persistent x86’) model, formalising the persistency semantics of Intel-x86 for the first time....

    DOI Web Site 被引用文献1件

  • 実行可能コードを対象とするスケーラブルかつ部分的パス依存なバッファオーバフロー静的検知

    黒岩, 将平, 荒堀, 喜貴, 権藤, 克彦 情報処理学会論文誌プログラミング（PRO） 12 (3), 13-13, 2019-07-17

    ...網羅的に解析することが困難である．また，ソースコードやシンボル情報を必要とせずに大規模なプログラムにも対応した手法(Kindermann, 2008)もあるが，スタック上で発生するバッファオーバフローのみを検知対象としている．そこで，本手法では実行ファイルのみを入力としたデバッグ情報やシンボル情報を必要とせずにスタックやヒープ，構造体内で発生するバッファオーバフローの検知手法を提案する．提案手法ではx86...

    情報処理学会

  • Acceleration of the tree method with a SIMD instruction set

    Tetsushi Kodama, Tomoaki Ishiyama Publications of the Astronomical Society of Japan 71 (2), 2019-02-01

    ...title> <jats:p>We have developed a highly tuned software library that accelerates the calculation of quadrupole terms in the Barnes–Hut tree code by using a SIMD instruction set on the x86...

    DOI PDF 参考文献27件

  • ARM Virtualization

    Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh ACM SIGOPS Operating Systems Review 52 (1), 45-56, 2018-08-28

    ...We present the first study of ARM virtualization performance on server hardware, including multi-core measurements of two popular ARM and x86 hypervisors, KVM and Xen....

    DOI Web Site 被引用文献1件

  • Crossing the chasm: how to develop weather and climate models for next generation computers?

    Bryan N. Lawrence, Michael Rezny, Reinhard Budich, Peter Bauer, Jörg Behrens, Mick Carter, Willem Deconinck, Rupert Ford, Christopher Maynard, Steven Mullerworth, Carlos Osuna, Andrew Porter, Kim Serradell, Sophie Valcke, Nils Wedi, Simon Wilson Geoscientific Model Development 11 (5), 1799-1821, 2018-05-08

    ...However, after many years of a relatively stable computing environment with little choice in processing architecture or programming paradigm (basically X86 processors using MPI for parallelism), the existing...

    DOI PDF 被引用文献1件

  • ネットワーク隔離されたARM CPUベースPCからのデータ漏洩

    山本, 健太, 廣瀬, 幸, 齊藤, 泰一 コンピュータセキュリティシンポジウム2017論文集 2017 (2), 2017-10-16

    ...されたデータ信号をAM周波数帯で送信する．我々はNEON命令を使用し，ARMベースのコンピュータから放射される電磁波によってB-ASKデータを送信する技術を提案する．我々は，システムバスから電磁波を効果的に放射するためにx86 CPUと異なるアプローチを採用している．...

    情報処理学会

  • 仮想計算機モニタを用いたWindows 10 64bit環境におけるスタックトレースの実現

    山下, 雄也, 明田, 修平, 瀧本, 栄二, 齋藤, 彰一, 毛利, 公一 コンピュータセキュリティシンポジウム2017論文集 2017 (2), 2017-10-16

    64bitマルウェアの出現に伴って64bitマルウェアの解析が求められるようになった．我々は仮想化技術を用い，Windows 10上で64bitマルウェアの解析を可能とするシステムコールトレーサAlkanet 10を開発している．現在，マルウェアによるコードインジェクションの挙動追跡機能のAlkanet …

    情報処理学会

  • Implementation of software-based EPON-OLT and performance evaluation

    Nishimoto Keita, Tadokoro Masashi, Mochida Takeaki, Yamada Takashi, Tanaka Toshikiyo, Takeda Akiyuki, Inoue Takashi IEICE Communications Express 6 (7), 467-472, 2017

    ...<p>In order to meet the diversifying demands, we propose the architecture of the software-based virtual EPON-OLT, where all of OLT functions except PHY-Layer are implemented as software running on an x86...

    DOI Web Site 被引用文献2件 参考文献3件

  • CPUエミュレータを利用した実行コード解析システムの提案

    上川, 先之, 山内, 利宏 コンピュータセキュリティシンポジウム2016論文集 2016 (2), 668-675, 2016-10-04

    ...サイバー攻撃の対象が広がり，様々なアーキテクチャのマルウェアや実行コードを解析することが必要となっている．しかし，x 86 以外のアーキテクチャを対象として解析を行う環境は十分に整っていない．このことから，解析者に高い技術力が求められる．本稿では，CPU エミュレーションライブラリである Unicorn を利用して，対話的に実行コードの解析を行うシステムを提案する．CPU エミュレータの利用により，...

    情報処理学会

  • Maximizing Performance Under a Power Cap

    Huazhe Zhang, Henry Hoffmann ACM SIGPLAN Notices 51 (4), 545-559, 2016-03-25

    ...We implement PUPiL on real Linux/x86 platform and compare it to Intel's commercial hardware power capping system for both single and multi-application workloads....

    DOI Web Site 被引用文献1件

  • Frix: Feasible and Reconfigurable IBM PC Compatible SoC

    松田, 裕貴, 小川, 愛理, 味曽野, 智礼, 小林, 諒平, 吉瀬, 謙二 第78回全国大会講演論文集 2016 (1), 151-152, 2016-03-10

    ...We propose Frix (Feasible and Reconfigurable IBM PC Compatible SoC), which is an FPGA-based evaluation environment with an x86 soft processor.Frix can boot general purpose operating systems, FreeDOS and...

    情報処理学会

  • Windows 7 x64環境におけるマルウェア解析向けデータ取得法

    中野, 進, 大月, 勇人, 明田, 修平, 瀧本, 栄二, 齋藤, 彰一, 毛利, 公一 コンピュータセキュリティシンポジウム2015論文集 2015 (3), 831-838, 2015-10-14

    増加を続けるマルウェアへ対策を行うためには，それぞれの挙動を明らかにしなければならない．Alkanet は，解析動作を妨害するアンチデバッグ機能を持つマルウェアに対しても有効な動的解析機構である．現行の Alkanet は，マルウェア解析環境として 32bit 版 Windows XP のみを対象としているが，より新しいバージョンの Windows …

    情報処理学会

  • Linuxの動くFPGAシステムを3倍速くする試み

    小川, 愛理, 吉瀬, 謙二 第77回全国大会講演論文集 2015 (1), 175-176, 2015-03-17

    ...提案したFPGAシステムでは、計算機で最も一般的なISAであるx86をサポートしている。FPGAシステムの開発では、x86をサポートしかつOSが動く既存のFPGAシステムを改良することで、開発期間の短縮を目指している。しかし、既存のシステムは現代のモダンな計算機と比較して非常に低速であり、実用的なシステムとは言えない。...

    情報処理学会

  • Nested Kernel

    Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram Adve ACM SIGPLAN Notices 50 (4), 191-206, 2015-03-14

    ...We incorporated the nested kernel architecture into FreeBSD on x86-64 hardware while allowing the entire operating system, including untrusted components, to operate at the highest hardware privilege level...

    DOI Web Site 被引用文献2件

  • 4.8 A 28nm x86 APU optimized for power and area efficiency

    Kathryn Wilcox, David Akeson, Harry R. Fair, Jim Farrell, Dave Johnson, Guhan Krishnan, Hugh Mclntyre, Edward McLellan, Samuel Naffziger, Russell Schreiber, Sriram Sundaram, Jonathan White 2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers 50 84-, 2015-02

    DOI PDF 被引用文献1件

  • SPGrid

    Rajsekhar Setaluri, Mridul Aanjaneya, Sean Bauer, Eftychios Sifakis ACM Transactions on Graphics 33 (6), 1-12, 2014-11-19

    ...SPGrid leverages the extensive hardware acceleration mechanisms inherent in the x86 Virtual Memory Management system to deliver sequential and stencil access bandwidth comparable to dense uniform grids...

    DOI Web Site 被引用文献3件

  • Embree

    Ingo Wald, Sven Woop, Carsten Benthin, Gregory S. Johnson, Manfred Ernst ACM Transactions on Graphics 33 (4), 1-8, 2014-07-27

    ...<jats:p>We describe Embree, an open source ray tracing framework for x86 CPUs....

    DOI Web Site 被引用文献5件

  • Darkroom

    James Hegarty, John Brunhaver, Zachary DeVito, Jonathan Ragan-Kelley, Noy Cohen, Steven Bell, Artem Vasilyev, Mark Horowitz, Pat Hanrahan ACM Transactions on Graphics 33 (4), 1-11, 2014-07-27

    ...silicon at 250 mW (simulated on a 45nm foundry process), real-time 1080p/60 video processing using a fraction of the resources of a modern FPGA, and tens of megapixels/sec. of throughput on a quad-core x86...

    DOI Web Site 被引用文献2件

  • 高機能アセンブラによるx86/x64 CPU向け高速化テクニック

    光成, 滋生 夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集 59-68, 2013-01-11

    昨今のコンパイラやインタプリタの技術の進歩には目を見張るものがある．「アセンブリ言語で書くより，コンパイラなどの高機能言語に任せた方がよい」と言われて久しい．しかし，それでもなお多くのパソコンに搭載されているIntel系CPUの命令を真に生かしたコードを生成するのは難しいのが実情である．ここでは，C++をx86/x64用高機能アセンブラとして利用するライブラリを紹介する．そしてCPUに応じたコー…

    情報処理学会

  • Binary stirring

    Richard Wartell, Vishwath Mohan, Kevin W. Hamlen, Zhiqiang Lin Proceedings of the 2012 ACM conference on Computer and communications security 2012-10-16

    DOI Web Site 被引用文献3件

  • Synchronising C/C++ and POWER

    Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams ACM SIGPLAN Notices 47 (6), 311-322, 2012-06-11

    ...In a sequentially consistent setting, or even in the TSO setting of x86 and Sparc, these have well-understood semantics....

    DOI Web Site 被引用文献1件

  • Return-Oriented Programming

    Ryan Roemer, Erik Buchanan, Hovav Shacham, Stefan Savage ACM Transactions on Information and System Security 15 (1), 1-34, 2012-03

    ...demonstrate the wide applicability of return-oriented programming, we construct a Turing-complete set of building blocks called gadgets using the standard C libraries of two very different architectures: Linux/x86...

    DOI Web Site 被引用文献2件

  • 32nm x86 OS-compliant PC on-chip with dual-core Atom&#x00AE; processor and RF WiFi transceiver

    Hasnain Lakdawala, Mark Schaecher, Chang-tsung Fu, Rahul Limaye, Jon Duster, Yulin Tan, Ajay Balankutty, Erkan Alpman, Chun Lee, Satoshi Suzuki, Brent Carlton, Hyung Seok Kim, Marian Verhelst, Stefano Pellerano, Tong Kim, Durgesh Srivastava, Satish Venkatesan, Hyung-jin Lee, Peter Vandervoorn, Jad Rizk, Chia-Hong Jan, Krishnamurthy Soumyanath, Sunder Ramamurthy 2012 IEEE International Solid-State Circuits Conference 2012-02

    DOI PDF 被引用文献1件

  • x86 JITコンパイラ上で任意コードを実行する方法

    竹迫, 良範 第53回プログラミング･シンポジウム予稿集 2012 129-136, 2012-01-06

    ...本発表では実際にJavaScriptのJITエンジンを使って任意のx86コードを実行する方法を解説し、このようなx86 JITコンパイラの脆弱性を保護する安全なコード生成手法について考察する。...

    情報処理学会

  • シングルケーススタディによる脊髄不全麻痺者に対するロボットスーツHALを用いた歩行練習効果

    古関 一則, 水上 昌文, 吉川 憲一, 佐野 歩, 浅川 育世, 菅谷 公美子, 吉川 芙美子, 前沢 孝之, 海藤 正陽, 齋藤 由香, 岩本 浩二, 田上 未来, 大瀬 寛高, 居村 茂幸 理学療法学Supplement 2011 (0), Ba0288-Ba0288, 2012

    ...0.90m/s,A2期y=0.0021x+0.95m/sとなり,A1期からB期で有意な減少,B期からA2期で有意な増加を認めた(p<0.05).また,2SD法ではA1期0.93±0.07ｍ/s,B期0.89±0.04m/s,A2期1.00±0.07m/sとなり,B期とA2期に有意差を認めた(p＜0.05).歩行率の最小二乗法加速減線はA1期y=0.0738x+85.4歩/min,B期y=-0.0073x+...

    DOI

  • 顔面神経麻痺後、ボツリヌス毒素療法を施行した症例に対する理学療法　～自主練習指導の併用～

    川畑 真司, 井舟 正秀, 久保 佳子, 田口 裕介, 細田 千尋, 小塚 寛也, 岡田 俊, 川北 慎一郎 東海北陸理学療法学術大会誌 28 (0), 118-, 2012

    ...X+86日、Sunnybrook法：72-15-6=51点。<br><b>【治療】 </b>BTX療法前に医師より治療効果、および自主練習の重要性が説明された。自主練習は正確な運動を行う為パンフレットを作成し、眼輪筋、頬筋、口輪筋の他に、頬骨筋、口角挙筋、笑筋のマッサージ、鏡を使用した視覚フィードバックによる随意運動を指導した。また、X+7日より1回/週で外来通院を2回実施。...

    DOI 医中誌

  • SICE

    Ahmed M. Azab, Peng Ning, Xiaolan Zhang Proceedings of the 18th ACM conference on Computer and communications security 2011-10-17

    DOI Web Site 被引用文献1件

  • MARSS

    Avadh Patel, Furat Afram, Shunfei Chen, Kanad Ghose Proceedings of the 48th Design Automation Conference 1050-, 2011-06-05

    DOI Web Site 被引用文献6件

  • C4

    Gil Tene, Balaji Iyengar, Michael Wolf ACM SIGPLAN Notices 46 (11), 79-88, 2011-06-04

    ...p>C4, the Continuously Concurrent Compacting Collector, an updated generational form of the Pauseless GC Algorithm [7], is introduced and described, along with details of its implementation on modern X86...

    DOI Web Site 被引用文献1件

  • The gem5 simulator

    Nathan Binkert, Bradford Beckmann, Gabriel Black, Steven K. Reinhardt, Ali Saidi, Arkaprava Basu, Joel Hestness, Derek R. Hower, Tushar Krishna, Somayeh Sardashti, Rathijit Sen, Korey Sewell, Muhammad Shoaib, Nilay Vaish, Mark D. Hill, David A. Wood ACM SIGARCH Computer Architecture News 39 (2), 1-7, 2011-05-31

    ...Currently, gem5 supports most commercial ISAs (ARM, ALPHA, MIPS, Power, SPARC, and x86), including booting Linux on three of them (ARM, ALPHA, and x86)....

    DOI Web Site 被引用文献56件

  • The evolution of an x86 virtual machine monitor

    Ole Agesen, Alex Garthwaite, Jeffrey Sheldon, Pratap Subrahmanyam ACM SIGOPS Operating Systems Review 44 (4), 3-18, 2010-12-13

    ...<jats:p>Twelve years have passed since VMware engineers first virtualized the x86 architecture....

    DOI Web Site 被引用文献1件

  • Virtualizing networking and security in the cloud

    Debashis Basak, Rohit Toshniwal, Serge Maskalik, Allwyn Sequeira ACM SIGOPS Operating Systems Review 44 (4), 86-94, 2010-12-13

    ...<jats:p>Virtualization of computer workloads onto powerful x86 multicore platforms is leading to a massive transformation in the way services are produced by next generation data centers....

    DOI Web Site 被引用文献1件

  • WYSINWYX

    Gogul Balakrishnan, Thomas Reps ACM Transactions on Programming Languages and Systems 32 (6), 1-84, 2010-08

    ...for x86 (DDA/x86), which analyzes device-driver executables for bugs....

    DOI Web Site 被引用文献1件

  • 特集１　安くて安心Ｌｉｎｕｘ：Ｐａｒｔ２　１０年保証のシステムも

    日経コンピュータ = Nikkei computer (761) 34-39, 2010-07-21

    ...「信頼性の向上」、「保守サポートの充実」、「高性能・高信頼のx86サーバーの登場」、「マイグレーションサービスの充実」について、詳しく見ていこう。UNIXと信頼性はほぼ同等に　最初に信頼性の向上について、企業向けLinuxで約85％のシェアを占めるRHELを例に見てみよう。...

    PDF Web Site

  • BigWig and BigBed: enabling browsing of large distributed datasets

    W. J. Kent, A. S. Zweig, G. Barber, A. S. Hinrichs, D. Karolchik Bioinformatics 26 (17), 2204-2207, 2010-07-17

    ...</jats:p> <jats:p>Availability and implementation: Binaries for the BigWig and BigBed creation and parsing utilities may be downloaded at http://hgdownload.cse.ucsc.edu/admin/exe/linux.x86...

    DOI PDF 被引用文献23件

  • x86-TSO

    Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen Communications of the ACM 53 (7), 89-97, 2010-07

    ...</jats:p> <jats:p> In this paper we focus on x86 processors....

    DOI Web Site 被引用文献3件

  • 並列プログラミングモデルMolatomium

    高山, 征大, 境, 隆二, 加藤, 宣弘, 島田, 智文 情報処理学会論文誌プログラミング（PRO） 3 (1), 54-62, 2010-03-10

    マルチコア時代に向けた，実行性能の高い並列プログラムを容易に書くための並列プログラミングモデル Molatomium と，その処理系および開発支援ツールを提案する．プログラミング言語としては，並列性を記述する C 言語風の Mol という言語と，実行性能を追求する直列コード Atom を記述する C/C++ を併用する．Mol …

    情報処理学会 Web Site 被引用文献1件

  • プライバシアウェアOS <i>Salvia</i> における共有メモリアクセス制御手法

    廣真文, 鈴来, 和久, 毛利, 公一 情報処理学会論文誌 50 (9), 1984-1996, 2009-09-15

    ...漏洩を防止する手法を提案する．提案手法は，ページフォルト例外を利用して共有メモリへのアクセスの可否を制御する．また，<i>Salvia</i> の特徴であるコンテキストに適応したアクセス制御方式を適用することにより，データ漏洩が発生する可能性のある共有メモリアクセスを選択的に制限することができる．本論文では，<i>Salvia</i>のメモリアクセス制御機構の設計について述べるとともに，Intel x86...

    情報処理学会

  • Yataglass：攻撃の擬似実行による攻撃メッセージの振舞いの解析

    嶋村, 誠, 河野, 健二 情報処理学会論文誌 50 (9), 2371-2381, 2009-09-15

    ...からない．このため，NIDSが攻撃を検知すると，管理者は適切な対策をとるため，人手で攻撃コードの振舞いを調査しなければならない．本論文では攻撃メッセージを解析し，攻撃コードの振舞いを抽出するシステムであるYataglassを提案する．Yataglassでは，NIDSが検知したメッセージを機械語命令列と見なして擬似的に実行し，攻撃が成功したときに実行されるシステムコール列を抽出する．実際にIntel x86...

    情報処理学会

  • クローズアップ：外資がｘ８６サーバー値下げ攻勢国産勢は"静観"を続けられるか

    日経コンピュータ = Nikkei computer (723) 94-97, 2009-02-15

    ...日本ヒューレット・パッカード、日本IBM、デルの3社は今年1月、相次いでx86サーバーを20〜30％値下げした。モデルによっては国産勢の半値以下になった。圧倒的な生産量と部品価格の低下や円高を背景に、シェア拡大を目指す。国産勢は今のところ静観の構え。だが、中長期的には価格競争に巻き込まれる可能性が大きい。　値下げ合戦の口火を切ったのは日本ヒューレット・パッカード。...

    PDF Web Site

  • The semantics of x86-CC multiprocessor machine code

    Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages 2009-01-21

    DOI Web Site 被引用文献1件

  • Automated verification of practical garbage collectors

    Chris Hawblitzel, Erez Petrank ACM SIGPLAN Notices 44 (1), 441-453, 2009-01-21

    ...The collectors and their associated allocators consist of x86 assembly language instructions and macro instructions, annotated with preconditions, postconditions, invariants, and assertions....

    DOI Web Site 被引用文献1件

  • DENSE MATRIX-VECTOR MULTIPLICATION ON THE CUDA ARCHITECTURE

    NORIYUKI FUJIMOTO Parallel Processing Letters 18 (04), 511-530, 2008-12

    ...results show that the proposed algorithm runs a maximum of 11.19 times faster than NVIDIA's BLAS library CUBLAS 1.1 on the GPU and 35.15 times faster than the Intel Math Kernel Library 9.1 on a single core x86...

    DOI Web Site 被引用文献1件

  • Analyzing the performance of code-copying virtual machines

    Gregory B. Prokopski, Clark Verbrugge ACM SIGPLAN Notices 43 (10), 403-422, 2008-10-19

    ...performance with the original direct-threading virtual machines for three languages, Java (SableVM), OCaml, and Ruby (Yarv), examining performance on three different architectures, ia32 (Pentium 4), x86...

    DOI Web Site 被引用文献1件

  • SWIFT：文字列ごとの情報フロー追跡手法

    勝沼, 聡, 塩谷, 亮太, 入江, 英嗣, 五島, 正裕, 坂井, 修一 情報処理学会論文誌コンピューティングシステム（ACS） 1 (2), 261-274, 2008-08-21

    ...されている．その中で，ハードウェア・ベースの方式は，多くのプログラムに対して適用可能であるが，アタックの誤検出や検出漏れが生じる．本稿で提案するSWIFT（String-Wise Information Flow Tracking）は，ハードウェアによる手法であるが，既存手法とは異なり，命令単位ではなく，よりセマンティックな文字列操作の単位で入力由来のデータを伝播させることで精度を高める．SWIFTをx86...

    情報処理学会 Web Site

  • Larrabee

    Larry Seiler, Doug Carmean, Eric Sprangle, Tom Forsyth, Michael Abrash, Pradeep Dubey, Stephen Junkins, Adam Lake, Jeremy Sugerman, Robert Cavin, Roger Espasa, Ed Grochowski, Toni Juan, Pat Hanrahan ACM Transactions on Graphics 27 (3), 1-15, 2008-08

    ...Larrabee uses multiple in-order x86 CPU cores that are augmented by a wide vector processor unit, as well as some fixed function logic blocks....

    DOI Web Site 被引用文献1件

  • Guidelines for applying protected area management categories

    Nigel Dudley Guidelines for Applying Protected Area Management Categories. Gland, Switzerland: IUCN. x + 86pp. WITH Stolton, S., Shadie P. and Dudley N. (2013). IUCN WCPA Best Practice Guidance on Recognising Protected Areas and Assigning Management Categories and Governance Types, Best Practice Protected Area Guidelines Series No. 21. 2008

    DOI 被引用文献6件

  • 最新コンパイラ技術とＣＯＩＮＳによる実践　　ＣＯＩＮＳコンパイラ・インフラストラクチャの開発

    中田 育男, 渡邊 坦, 佐々 政孝, 森 公一郎, 阿部 正佳 コンピュータ ソフトウェア 25 (1), 2-18, 2008

    COINSコンパイラ・インフラストラクチャは，コンパイラの研究・開発・教育を容易にする目的で開発したものである．COINSは(1)高水準中間表現と低水準中間表現の2水準の中間表現をもつ，(2)記述言語はJavaで，すべて新規開発した，(3) SSA最適化など最適化の機能が充実している，(4)リターゲッタブルなコード生成系をもつ，(5)並列化の機能を持つ，といった特徴をもっている．開発作業は10箇…

    DOI

  • Crystal Structure of 1-(4-Acetylamidophenyl)-3-(4-carboxyphenyl)triazene

    AMARAL Carlos Henrique Oliveira do, HÖRNER Rosmari, REETZ Luiz Gustavo Brenner, CAMARGO Leandro Renato Simon de, MACHADO Flávia Cavalieri, HÖRNER Manfredo Analytical Sciences: X-ray Structure Analysis Online 24 X85-X86, 2008

    The crystal structure of the title compound, C<sub>15</sub>H<sub>14</sub>N<sub>4</sub>O<sub>3</sub>, reveals the expected <i>trans</i> stereochemistry about the N=N double bond in the diazoamine …

    DOI Web Site 参考文献5件

  • 並列MC/UCTアルゴリズムの実装

    加藤, 英樹, 竹内, 郁雄 ゲームプログラミングワークショップ2007論文集 2007 (12), 23-29, 2007-11-09

    ...と比べてCellでは3倍高速に，x86では10%遅くなった．また，UCTアルゴリズムをモンテカルロシミュレーションの並列実行と組み合わせた時に起こる，アルゴリズムの挙動が変化するという問題の影響をGNU GOに対する勝率で評価した．実験した並列度4の場合，ELOレーティングに換算した勝率の低下は最大35ELOだったが，簡単な方法で最大20ELOに改善することができた．...

    情報処理学会

  • PPMexe

    Milenko Drinić, Darko Kirovski, Hoi Vo ACM Transactions on Programming Languages and Systems 29 (1), 3-, 2007-01

    ...We implemented PPMexe for x86 binaries and tested it on several large applications....

    DOI Web Site 被引用文献1件

  • Structure of Tolperisone Monohydrochloride

    TANAKA Rumiko, HIRAYAMA Noriaki Analytical Sciences: X-ray Structure Analysis Online 23 X85-X86, 2007

    The crystal of the racemate of the title compound, C<sub>16</sub>H<sub>23</sub>NO·HCl, belongs to space group <i>P</i>2<sub>1</sub>/<i>c</i> with cell dimensions <i>a</i> = 12.476(6), <i>b</i> = …

    DOI Web Site 参考文献3件

  • コンパイル速度の向上を目的とした非反復型レジスタ割付け手法

    小川, 健一, 片岡, 正樹, 古関, 聰, 小松, 秀昭, 深澤, 良彰 情報処理学会論文誌プログラミング（PRO） 47 (SIG11(PRO30)), 54-54, 2006-07-15

    従来のグラフカラーリングを用いたレジスタ割付け手法は非常に有効であるが，スピルごとに反復しながら干渉グラフを再構築するため，レジスタの少ないアーキテクチャでは計算量が大きくなる．そのため，コンパイル時間が実行時間に含まれるダイナミックコンパイル環境では，レジスタ割付けにグラフカラーリングを適用することは難しかった．スピルごとに干渉グラフを再構築しないナイーブな方式としては，スピル用のレジスタを同…

    情報処理学会

  • Argos

    Georgios Portokalidis, Asia Slowinska, Herbert Bos ACM SIGOPS Operating Systems Review 40 (4), 15-27, 2006-04-18

    ...<jats:italic>Argos</jats:italic> is built upon a fast x86 emulator which tracks network data throughout execution to identify their invalid use as jump targets, function addresses, instructions...

    DOI Web Site 被引用文献1件

  • Pin

    Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, Kim Hazelwood ACM SIGPLAN Notices 40 (6), 190-200, 2005-06-12

    ...Pin is publicly available for Linux platforms on four architectures: IA32 (32-bit x86), EM64T (64-bit x86), Itanium®, and ARM....

    DOI Web Site 被引用文献7件

  • 小規模農家向け会計システム「ポケット簿記」の開発

    櫻本 直美 農業情報研究 14 (4), 273-286, 2005

    ...ポケット簿記システムは，Windows95以降，MacOS8.6以降，Linux（x86ベース）上で動作する，利用対象を小規模農家とした会計システムであり，複式簿記記帳の普及およびその記帳結果を生かした経営管理の普及を目的としている．本システムは次のような特徴を持つ．第一に，小規模農家の特性を考慮したインターフェイスや機能を備え，特に農家において利用しやすい操作性を実現している．第二に，システムおよび...

    DOI Web Site 被引用文献1件

  • 在宅高齢女性の脚筋力および歩行能力の加齢変化

    田井中 幸司, 船倉 麻衣子, 青木 純一郎 理学療法学 31 (7), 385-390, 2004-12-20

    本研究の目的は在宅高齢女性の脚筋力が2年半後の歩行能力に及ぼす影響を明らかにすることであった。調査対象となった44名（80.1 ± 3.9歳→82.5 ± 3.8歳）を初回測定時の脚筋力スコアの高低により2分し，両群の2年半後の歩行の自立性を比較したところ，脚筋力スコアの高かった群は全員が歩行に杖を必要としないが，低い群においては9名が日常生活において杖を使用していた（p < …

    DOI 医中誌 被引用文献1件 参考文献16件

  • 耐故障性を重視したRPCシステムNinf - C の設計と実装

    中田, 秀基, 田中, 良夫, 松岡, 聡, 関口, 智嗣 情報処理学会論文誌コンピューティングシステム（ACS） 45 (SIG11(ACS7)), 160-170, 2004-10-15

    耐故障性を重視したRPCシステムNinf-Cの設計と実装に関して述べる．Ninf-Cは，全体として数日から数カ月を要する大規模なマスタワーカ型計算を安定して実行することを目的としたシステムで，ウィスコンシン大学で開発されたスケジューリングシステムCondorの提供する機能を利用することで，マスタを含むシステム全体に耐故障性を持たせている．Ninf-CのRPCは，Condorのファイルステージ機能…

    情報処理学会 Web Site 被引用文献3件 参考文献10件

  • X86アーキテクチャのメモリ階層を考慮した最適なRegister Allocation

    堀本, 和秀, 佐藤周行 情報処理学会論文誌プログラミング（PRO） 45 (SIG09(PRO22)), 84-84, 2004-07-15

    コンピュータでは，高い性能を実現するためにキャッシュを上手く利用することが有効である．そのため近年のプロセッサは一般的にある程度のメモリ階層を持っており，コンパイラは高い性能を実現するためにこのメモリ階層を考慮する必要がある．X86のようなアーキテクチャでは，レジスタの数が少ないことや，命令のオペランドをメモリにできることからRegister Allocationは難しくなる．Graph …

    情報処理学会

  • Xen and the art of virtualization

    Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield ACM SIGOPS Operating Systems Review 37 (5), 164-177, 2003-10-19

    ...Few offer resource isolation or performance guarantees; most provide only best-effort provisioning, risking denial of service.This paper presents Xen, an x86 virtual machine monitor which allows multiple...

    DOI Web Site 被引用文献61件

  • Development of the Linux-based video observation system for meteors

    廿日出, 勇, 稲田, 憲哉, 羽野, 博之, Isamu, HATSUKADE, Noriya, INADA, Hiroyuki, HANO The Institute of Space and Astronautical Science report. S.P. : Proceedings of the 2002 International Science Symposium on the Leonid Meteor Storms 15 117-124, 2003-03

    ...We report on the development of the video meteor observation system that runs underthe Linux operating system on x86 processor based personal computers....

    機関リポジトリ

  • 家電向けJava JITコンパイラの構成方法とその評価

    川本, 琢二, 春名, 修介, 金丸, 智一 情報処理学会論文誌プログラミング（PRO） 43 (SIG08(PRO15)), 37-48, 2002-09-15

    携帯電話などの家電機器へのJava 普及が進みつつある中で，Java プログラムの高速化が求められ，Java JIT コンパイラが要望されている．家電機器向けのJIT コンパイラの実装では，実行性能追求よりも家電機器の持つ2 つの特性「メモリ資源の制約」，「機種展開時のCPU 変更に対応する移植性」を考慮する必要がある．PC 用JIT コンパイラは，レジスタなど，CPU …

    情報処理学会 Web Site 被引用文献2件 参考文献13件

  • Java2Cトランスレータにおける可搬性のオーバヘッド

    千葉, 雄司 情報処理学会論文誌プログラミング（PRO） 43 (SIG08(PRO15)), 23-36, 2002-09-15

    ...コンパイラにおいて，プラットホーム依存の技法を使わずに暗黙の処理を実現するとどれだけオーバヘッドが生じるか評価することにある．SPECjvm98 を使って評価した結果，プラットホーム依存の技法を使えば省略できる暗黙の処理向けのコードサイズが，Java2C トランスレータが生成するコード全体の40.03%を占めることが分かった．また，それらのコードの実行に，entiumIII 450 MHz とAm5x86...

    情報処理学会 Web Site 参考文献20件

  • システム・コールに対するラッパ/リファレンス・モニタSysGuardの設計と実現

    榮樂恒太郎, 新城, 靖, 板野, 肯三 情報処理学会論文誌 43 (6), 1690-1701, 2002-06-15

    ...の前後で，付加的にアクセス権をチェックする．SysGuard の設計の特徴は，ガードが適用されるスコープを柔軟に設定できる点にある．SysGuard の実現の特徴は，カーネルの修正個所が少ないこと，および，ポータビリティが高いガードの開発を支援していることである．また，ガード開発キットを用いることにより，ユーザ空間内で簡単に開発やデバッグを行うことができる．SysGuard は，現在，Intel x86...

    機関リポジトリ 情報処理学会 HANDLE ほか1件 被引用文献9件 参考文献13件

  • MP3エンコーダの高速化実装

    酒居, 敬一, 光成, 滋生, 成田, 剛, 石田, 計, 藤井, 寛, 庄司, 信利 情報処理学会論文誌 43 (4), 1028-1038, 2002-04-15

    近年の汎用パーソナルコンピュータに多く使われているIA-32プロセッサは過去との互換性のために命令体系はCISC的である．しかし内部動作はRISCマイクロ命令への変換，ハイパーパイプライン，アウトオブオーダ，などRISC的アーキテクチャが多数取り入れられている．さらにSIMD的演算命令の搭載によりデータ並列処理を実現している．とはいえその新しい機構に応じたコードを生成するコンパイラはまだまだ少数…

    情報処理学会 Web Site 参考文献19件

  • 技術トレンド 1GHz以上で動作するWillamette,本格的な量産普及期は2001年から

    日経バイト (202) 32-36, 2000-04

    ...米Intel社はサーバ向けに64ビット・プロセサItaniumを開発しているが，デスクトップ・パソコン用CPUの主流は依然32ビットx86プロセサであるとしている。2000年後半にはCPUコアを一新した32ビットx86プロセサWillamette（ウィラメット，開発コード名）を投入する。Willametteは，動作周波数引き上げを重視して開発しており1GHz以上での動作を見込んでいる。...

    PDF Web Site

  • 技術トレンド 性能と低消費電力を両立させたTransmetaの新プロセサCrusoe

    日経バイト (201) 28-30, 2000-03

    ...Transmeta社がまったく新しいアーキテクチャのx86互換マイクロプロセサを発表した。x86のエミュレーションなどの機能をソフトウェアで実現することにより，プロセサをシンプルにする。これによって消費電力はPentiumより一桁小さくなり，インテリジェントな電力管理が可能になる。性能的にもMobile　Pentium　とさほど変わらないレベルを達成するようだ。...

    PDF Web Site

  • 解説　多機能集積ｘ８６プロセサ：VIAは主記憶に続き　1チップPCでもIntelに対抗

    日経バイト (196) 160-165, 1999-11

    ...●米Intel社に次ぐチップセット・メーカ台湾VIA　Technologies社が，相次いでx86プロセサ・メーカ2社の買収を決めた。●当分は買収前のx86プロセサ・ビジネスを継続する見込みであるが，狙いはx86プロセサ・コアとチップセットを集積した1チップPCだ。●低価格パソコンの台頭で1チップPCが脚光を浴びている。VIAはメモリに次ぎこの分野でもIntel対抗路線を打ち出した。...

    PDF Web Site

  • 特集2 AMD-K7登場--1GHz時代へ

    日経バイト (193) 110-122, 1999-08

    ...米Advanced　Micro　Devices（AMD）社は，x86プロセサ・コアとして7世代目に当たるK7コアを開発，第一弾製品としてAMD　Athlonを99年6月23日から出荷を開始した。まだAthlon搭載マシンは登場していない。しかしAMDはAthlonの性能はPentiumやPentium　Xeonを上回るとしている。...

    PDF Web Site

  • 拡張コンポーネントのためのカーネルによる細粒度軽量保護ドメインの実現

    品川, 高廣, 河野, 健二, 高橋, 雅彦, 益田, 隆司 情報処理学会論文誌 40 (6), 2596-2606, 1999-06-15

    ...マルチプロテクシヨンページテープルが既存の CPU 上で実装できることを示すために Intel x86 アーキテクチャ上での実装を行った. また この実装を用いた実験によって 1秒あたり10万回の保護ドメイン切替えを行っても そのオーバヘッドが4.5?14.5%程度に抑えられることを確認した....

    情報処理学会 Web Site 被引用文献23件 参考文献17件

  • A seventh-generation x86 microprocessor

    M. Golden, S. Hesley, A. Scherer, M. Crowley, S.C. Johnson, S. Meier, D. Meyer, J.D. Moench, S. Oberman, H. Partovi, F. Weber, S. White, T. Wood, J. Yong IEEE Journal of Solid-State Circuits 34 (11), 1466-1477, 1999

    DOI PDF 被引用文献1件

  • 2次元アドレスとダイナミックリンクのための実行コンテキストと言語C/言語C++処理系の設計と実現

    加藤, 泰志, 中村, 浩之, 早川, 栄一, 並木, 美太郎, 吉澤, 康文, 高橋, 延匡 情報処理学会論文誌プログラミング（PRO） 39 (SIG01(PRO1)), 78-78, 1998-12-15

    マルチメディアデータの本質は データの多義性 多様性にある.これらの多義性を持つデータの処理基盤として 我々は「電紙」と呼ぶデータモデルを提案し OS/omicron 第4版を構築している.本OSの実行機構では 「電紙」を2次元アドレスで表現されたセグメントとして実現し かつダイナミックリンクによりデータや手続きの実行時結合を可能にした.2次元アドレスやダイナミックリンクをシステムソフトウェアア…

    情報処理学会

  • 2次元アドレスを管理するマイクロカーネルの実現と評価

    森永, 智之, 早川, 栄一, 並木, 美太郎, 高橋, 延匡 全国大会講演論文集 第50回 (ソフトウェア), 239-240, 1995-03-15

    ...したがって,マイクロカーネルには高速な拡張手法,ワンレベルストアを容易かつ安全に実現できる基盤,そして柔軟な保護機構の提供が求められている.これに対して我々は,拡張手法としてダイナミックリンクを採用し,関数コールでシステムを構築することで高速化を図る.また,保護とワンレベルストアを容易に実現するため,2次元アドレスを採用する.なお,ターゲットプロセッサは,セグメンテーションとページングを備えた80x86...

    情報処理学会 被引用文献3件

  • An X86 microprocessor with multimedia extensions

    D.A. Draper, M.P. Crowley, J. Holst, G. Favor, A. Schoy, A. Ben-Meir, J. Trull, R. Khanna, D. Wendell, R. Krishna, J. Nolan, H. Partovi, M. Johnson, T. Lee, D. Mallick, G. Frydel, A. Vuong, S. Yu, R. Maley, B. Kauffmann 1997 IEEE International Solids-State Circuits Conference. Digest of Technical Papers

    DOI PDF 被引用文献1件

  • 1 / 1
ページトップへ