CSP Kick-Off 6th/Mar/2009 CSP -(1) Kazuto MATSUI

Size: px
Start display at page:

Download "CSP Kick-Off 6th/Mar/2009 CSP -(1) Kazuto MATSUI"

Transcription

1 CSP Kick-Off 6th/Mar/2009 CSP -(1) Kazuto MATSUI

2 CSP Co-design CSP CSP -(1) Kazuto MATSUI 1

3 CSP 1. CSP (a) (b) 2. CSP (a) i. DFD/FSM/UML2.0/SysML/EAST-ADL 2.0/AADL/... ii. {Z(CSP-Z)/Oblect-Z(CSP-OZ)/TCOZ/B(B+CSP)/VDM(RAISE) /Circus/SOFL/LOTOS/OBJ3/HOL(HOL-CSP)/Isabelle(CSP-Prover)/RT- CSP/TL /DC(CSP-OZ-DC)/Timed Automata/ -Calculus/...} iii. {LTSA/SPIN/FDR/CSP-Prover/PAT/Uppaal/ProB/Moby/TAS/...} (b) (?) { occam-, Transterpreter, JCSP, C++CSP, Jibu, Handel-C, XC } (c) CSP -(1) Kazuto MATSUI 2

4 CSP -(1) Kazuto MATSUI 3

5 C/C++ C Andrew Koening ISBN-10: C++ Steve Oualline ISBN-10: X CSP -(1) Kazuto MATSUI 4

6 occam-for-all occam は STMicroelectronics 社の登録商標 16/32bit 並列プロセッサー 1978 年 Oxford CSP "Entia non sunt multiplicanda praeter necessitatem." Transputer occam 年代前半英国 Inmos 社 1980 年代後半 SpaceWire(IEEE1355) 1990 年代 2008 年に製品化 首都大学東京福永研究室 1991 年に仕様だけ決まる Handel-C XMOS TPCore occam3 occam2 occam2.1 Visual-CSP Jibu AXON7 JCSP C++CSP 2000 年以降 1992 年からKent 大学 CCSP KRoC occam-π Transterpreter Kent Retargetable occam Compiler CSP -(1) Kazuto MATSUI 5

7 HW SW APP Programming Language MiddleWare Operating System HardWare CCSP, C++CSP, JCSP, occam-pi, Transterpreter, Jibu(Java, C++, C#, Delphi), Fortran-M, Erlang, FDR2, CSP-Prover Visual-CSP, CHP(Haskell), PyCSP(Python), CSP++, CL(Common Lisp) LibCSP(Posix Threads) Grid-occam, BPEL4WS, SOAP, LEGO Mindstorms Microsoft Singurality OS, RMoX, Open Licence Society Tangram, Verilog+, VerilogCSP, Handel-C, XMOS, TPCore, ARM, STBus, STNoC, SpaceWire(IEEE1355) CSP -(1) Kazuto MATSUI 6

8 CSP25 CSP -(1) Kazuto MATSUI 7

9 CSP25 Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Communicating Sequential Processes The First 25 Years (LNCS 3525) 1. Seeing Beyond Divergence (A.W. Roscow) 2. Process Algebra: A Unifying Approach (Tony Hoare) 3. CSP, occam and Transputers (David May) 4. Practical Application of CSP and FDR to Software Design (Jonathan Lawrence) 5. Communicating Mibile Processes Introducing occam-pi (Peter Welch) CSP -(1) Kazuto MATSUI 8

10 CPA(WoTUG CSP/occam- /JCSP/C++CSP CSP -(1) Kazuto MATSUI 9

11 FM2009( International Conference on Formal Engineering Methods ICFEM 09 ( CSP SpaceWire ( SpaceWire (JAXA ) CSP -(1) Kazuto MATSUI 10

12 (SpW) NEC SpaceCube Transputing (Handel-C) BPM, SOA, BPEL4WS( ) Semantic Web(W3C CSP/ -Calculus ) HPC( ) occam-,transterpreter, JCSP, CCSP, C++CSP, Jibu(C#,C++), Handel- C, XC, CSP -(1) Kazuto MATSUI 11

13 RMoX(Raw-Metal occam Experience PC/104 SpaceWire (SpW ) ( Microsoft C# ) CSP Windows, Linux, Mac itron Transterpreter Transputer Virtual Machine SSDL(SOAP Service Description Language OS SoC(System-on-Chip), NoC(Network-on-Chip) SpW-RMAP, SpW-PnP, SpW-RT, SpW-Fibre(Gigabit 256 ) (x86, ARM?, XMOS) CSP -(1) Kazuto MATSUI 12

14 (HOL/FDR) CSP (Alain J. Martin) FDR CSP -(1) Kazuto MATSUI 13

15 WG CSP -(1) Kazuto MATSUI 14

16 - Web ( ) - CSP CSP -(1) Kazuto MATSUI 15

17 CPA(WoTUG) ( ) CSP -(1) Kazuto MATSUI 16

TopSE並行システム はじめに

TopSE並行システム はじめに はじめに 平成 23 年 9 月 1 日 トップエスイープロジェクト 磯部祥尚 ( 産業技術総合研究所 ) 2 本講座の背景と目標 背景 : マルチコア CPU やクラウドコンピューティング等 並列 / 分散処理環境が身近なものになっている 複数のプロセス ( プログラム ) を同時に実行可能 通信等により複数のプロセスが協調可能 並行システムの構築 並行システム 通信 Proc2 プロセス ( プログラム

More information

参考1 第2回自動車ワーキンググループ議事録(未定稿)

参考1		第2回自動車ワーキンググループ議事録(未定稿) 19 9 25 15 30 17 30 10 1012 2 WG 9 10 1 WG 1 CO2 CO2 CO2 WG 1 CO2 CO2 CO2 1/2 1/2 CO2 2 2 CO2 2 WG CO2 1 2 3 7 3 3 3 WG CO CO 10 1.5 50 50 2 1 1 CO 2 CO 4 CO CO 2 2 p.4 7 7 1 7 1 1 5 p.7 2 1 1 1.5 2 1

More information

untitled

untitled JCSP CSP HPC H.Nakahara 1 2 CSP A B HPC H.Nakahara 3 CSP HPC H.Nakahara 4 CSP Process A chan Process B ( DFD) HPC H.Nakahara 5 DFD HPC H.Nakahara 6 DFD FAX OK? HPC H.Nakahara 7 HPC H.Nakahara 8 HPC H.Nakahara

More information

23_33.indd

23_33.indd 23 2TB 1TB 6TB 3TB 2TB 3TB 3TB 2TB 2TB 1TB 1TB 500GB 4TB 1TB 1TB 500GB 2TB 2TB 1TB 1TB RT RT RT RT RT RT RT MAC 10. 10. 10.6 10.5 MAC 10. 10. 10.6 10.5 MAC 10. 10.6 10.5 MAC 10. 10. 10.6 10.5 MAC 10. 10.6

More information

CSPの紹介

CSPの紹介 CSP モデルの優位性 産業技術総合研究所情報技術研究部門磯部祥尚 0:40 第 9 回 CSP 研究会 (2012 年 3 月 17 日 ) 1 講演内容 1. CSPモデルの特徴 CSPモデルとは? 同期型メッセージパッシング通信 イベント駆動 通信相手 ( チャネル ) の自動選択 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 2. CSPモデルの実装 ライブラリ

More information

untitled

untitled Transputing without Transputers CSP Everywhere!! CSP CSP matsui@csp-consortium.org 2013/10/5 1 Transputer CSP/occam CSP/occam CSP CSP CSP 2013/10/5 2 CSP 2013/10/5 3 C/C++/Java POSIX Thread RTOS (itron,

More information

20 15 14.6 15.3 14.9 15.7 16.0 15.7 13.4 14.5 13.7 14.2 10 10 13 16 19 22 1 70,000 60,000 50,000 40,000 30,000 20,000 10,000 0 2,500 59,862 56,384 2,000 42,662 44,211 40,639 37,323 1,500 33,408 34,472

More information

I? 3 1 3 1.1?................................. 3 1.2?............................... 3 1.3!................................... 3 2 4 2.1........................................ 4 2.2.......................................

More information

- 2 -

- 2 - - 2 - - 3 - (1) (2) (3) (1) - 4 - ~ - 5 - (2) - 6 - (1) (1) - 7 - - 8 - (i) (ii) (iii) (ii) (iii) (ii) 10 - 9 - (3) - 10 - (3) - 11 - - 12 - (1) - 13 - - 14 - (2) - 15 - - 16 - (3) - 17 - - 18 - (4) -

More information

2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 1

2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4 4 4 2 5 5 2 4 4 4 0 3 3 0 9 10 10 9 1 1 1 1979 6 24 3 4 4 4 4 3 4 4 2 3 4 4 6 0 0 6 2 4 4 4 3 0 0 3 3 3 4 3 2 4 3? 4 3 4 3 4 4 4 4 3 3 4 4 4 4 2 1 1 2 15 4 4 15 0 1 2 1980 8 4 4 4 4 4 3 4 2 4 4 2 4 6 0 0 6 4 2 4 1 2 2 1 4 4 4 2 3 3 3 4 3 4 4

More information

1 (1) (2)

1 (1) (2) 1 2 (1) (2) (3) 3-78 - 1 (1) (2) - 79 - i) ii) iii) (3) (4) (5) (6) - 80 - (7) (8) (9) (10) 2 (1) (2) (3) (4) i) - 81 - ii) (a) (b) 3 (1) (2) - 82 - - 83 - - 84 - - 85 - - 86 - (1) (2) (3) (4) (5) (6)

More information

Networking Semester 802.3

Networking Semester 802.3 Networking Semester 802.3 2 ) ( Computer Hardware () () () () () () () () ()- () () () () () BIOS () Computer Software Operating Systems Windows, Linux Linux Windows OS I 1.C 2. 3. 3-1.main 3-2.printf

More information

Part 1 IT CPU IT IT 1998 Windows NT Server 4.0, Terminal Server Edition 1 Windows Based Terminal WBT Windows CE 1 100Mbps 1Gbps LAN OS 1 PC 1 OS 2

Part 1 IT CPU IT IT 1998 Windows NT Server 4.0, Terminal Server Edition 1 Windows Based Terminal WBT Windows CE 1 100Mbps 1Gbps LAN OS 1 PC 1 OS 2 Microsoft Flexible Workstyle &BYOD Part 1 Part 2 Part 3 Windows Server 2012 Windows Server 2012 R2 RDS Part 1 IT CPU IT IT 1998 Windows NT Server 4.0, Terminal Server Edition 1 Windows Based Terminal WBT

More information

★20052G1.doc

★20052G1.doc Office I Office Application I: Word Processor Windows IME Word web 2002() FOM Programming C C C CQ Operating Systems I Windows, Linux OS I Linux OS Linux Linux vi X-Window i-node Linux/UNIX ISBN4-7973-2742-1

More information

2016 10 31 1. 1.1 20 1 1993 20 2 2 1 industrial society 2 2 169 2014 3 1.2 4 5 6 3 1.3 4 5 1973 6 170 7 8 9 7 ISO/IEC 9126 11 8 1 9 ABS ABS ABS ABS 171 2. 2.1 1960 10 11 12 13 10 1964 IBM S/360 11 16 FORTRAN

More information

たのしいプログラミング Pythonではじめよう!

たのしいプログラミング Pythonではじめよう! Title of English-language original: Python for Kids A Playful Introduction to Programming ISBN 978-1-59327-407-8, published by No Starch Press, Inc. Copyright 2013 by Jason R. Briggs. Japanese-language

More information

Windows PC/ BCP () PC (BYOD: Bring Your Own Device) Windows 8 2 Windows 8 Windows 8 Windows Windows 8 Windows 8 Windows 8 PC/ 2

Windows PC/ BCP () PC (BYOD: Bring Your Own Device) Windows 8 2 Windows 8 Windows 8 Windows Windows 8 Windows 8 Windows 8 PC/ 2 Windows 8 1 (2012 10 ) Windows PC/ BCP () PC (BYOD: Bring Your Own Device) Windows 8 2 Windows 8 Windows 8 Windows Windows 8 Windows 8 Windows 8 PC/ 2 PC/ IT 4 5 PC 6 7 PC 8 9 3 1 SharePoint PC PC Windows

More information

土木工事の

土木工事の .1 ... 2 -...2 -...3 -...4 -...5 -...7... 8 -...8 -...9... 10 -... 10 -... 13 -... 14... 17 -... 17... 19... 19... 24... 24... 26 -... 26... 27... 27... 29... 30... 31 -... 31 -... 33 -... 35 1 1 2 3 4

More information

23_33.indd

23_33.indd 23 16 26 25 24 2 30 2 19 20 1 21 1 22 9 11 15 14 23 2 3 5 1 6 12 14 29 P.26 P.26 P.26 P.26 P.2 P.26 P.2 P.2 P.2 P.2 P.2 P.2 P.24 P.24 P.24 P.24 P.24 MAC 10. 10.6 10.5 1TB 2TB XP XP MAC 10. 10. 10.6 10.5

More information

活用ガイド (ソフトウェア編)

活用ガイド (ソフトウェア編) (Windows 95 ) ii iii iv NEC Corporation 1999 v P A R T 1 vi P A R T 2 vii P A R T 3 P A R T 4 viii P A R T 5 ix x P A R T 1 2 3 1 1 2 4 1 2 3 4 5 1 1 2 3 4 6 5 6 7 7 1 1 2 8 1 9 1 1 2 3 4 5 6 1 2 3 4

More information

クラウド時代のインフラ構成/変更管理とコンプライアンス管理

クラウド時代のインフラ構成/変更管理とコンプライアンス管理 Oracle Direct Seminar / 2009 11 11 Agenda IT / / Oracle Direct Concierge SQL Server MySQL PostgreSQL Access Oracle Database Oracle Developer/2000 Web Oracle Database Oracle Database

More information

活用ガイド (ソフトウェア編)

活用ガイド (ソフトウェア編) ii iii iv NEC Corporation 1998 v vi PA RT 1 vii PA RT 2 viii PA RT 3 PA RT 4 ix P A R T 1 2 3 1 4 5 1 1 2 1 2 3 4 6 1 2 3 4 5 7 1 6 7 8 1 9 1 10 1 2 3 4 5 6 7 8 9 10 11 11 1 12 12 1 13 1 1 14 2 3 4 5 1

More information

総会日程 第1日 5月25日(水曜日)

総会日程 第1日 5月25日(水曜日) 2016 44 25 Supplement 1 1 5 25 9301030 10401140 12401510 43 2016 44 25 Supplement 1 2 1 5 25 16201705 17151815 Peter F. Lawrence 18251915 44 2016 44 25 Supplement 2 1 5 25 9301130 11451230 12401510 45

More information

Vol. 32 No. 1 Feb Processes) [6] [13] CSP CSP [7] CSP CSP PAT [14] FDR2 [4] [7] SD2CSP SD2CSP SDVerifier SDVerifier SD2CSP : 3. 1 : create (

Vol. 32 No. 1 Feb Processes) [6] [13] CSP CSP [7] CSP CSP PAT [14] FDR2 [4] [7] SD2CSP SD2CSP SDVerifier SDVerifier SD2CSP : 3. 1 : create ( 234 SDVerifier: CSP SDVerifier SDVerifier CSP SDVerifier Sequence diagrams are often used in the modular design of softwares. However, it is difficult to verify UML diagrams automatically. In this work,

More information

講座計画書サンプル

講座計画書サンプル 2004 10 1 13:0014:30 12 () () Web 14:4518:00 - (PBL) 45 1 - - 1 1 - - - - Web - Web Web (1) PC (2) (3) (4) CVS Subversion 1 2 2004 10 8 Java Java Java 13:0014:30 Java Java Java EoD (Ease of Development)

More information

Microsoft Word - 保守運用ガイドライン_080122CSAJ修正.doc

Microsoft Word - 保守運用ガイドライン_080122CSAJ修正.doc i ii 1...1 2...2...3 4...4 5...4...5 7...12 1...1 2...4 3...5...6...6 6...7 7... 11 8 FOSS...13 9...15 10...16 11...17...18...18 14...18 15...19 16 JIS Q 20000...20 iii 1 1 1 1 1 1 2 3 2 4 5 WG 2 4 5 CSAJ/JCSSA

More information

活用ガイド (ソフトウェア編)

活用ガイド (ソフトウェア編) (Windows 98 ) ii iii iv v NEC Corporation 1999 vi P A R T 1 P A R T 2 vii P A R T 3 viii P A R T 4 ix P A R T 5 x P A R T 1 2 3 1 1 2 4 1 2 3 4 5 1 1 2 3 4 5 6 6 7 7 1 1 2 8 1 9 1 1 2 3 4 5 6 1 2 3 10

More information

1 105 2 4 50 3 ISBN 4 25 2013 1 ISBN 5 128p ISBN978-4-8340-0013-9 ISBN 2

1 105 2 4 50 3 ISBN 4 25 2013 1 ISBN 5 128p ISBN978-4-8340-0013-9 ISBN 2 1 2 39 3 14 13 16 17 36 21 30 32 1 1 105 2 4 50 3 ISBN 4 25 2013 1 ISBN 5 128p ISBN978-4-8340-0013-9 ISBN 2 39 32p ISBN978-4-251-00517-5 62p ISBN978-4-00-110579-7 1 33p ISBN978-4-477-01141-7 3 32p ISBN978-4-591-01270-3

More information

ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0

ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0 ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0 0 ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0 ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0 ISBN 0 00 00 00 0 0 ISBN 0 0 ISBN---.000-0 ISBN 0 00 00 00 0 0 ISBN 0

More information

0 00 000 000 ISBN 0 0 0 ISBN 0 0 0 ISBN---.00-

0 00 000 000 ISBN 0 0 0 ISBN 0 0 0 ISBN---.00- 0 0 0 --- -0--0-- 00 0 00-0 0 0 0 0 000-00- 0 00 000 000 ISBN 0 0 0 ISBN 0 0 0 ISBN---.00- 0 00 000 000 ISBN 0 0 0 ISBN 0 0 0 ISBN---.00- ISBN 0 0 0 ISBN 0 0 0 0 00 000 000 ISBN---.00- 0 00 000 000 ISBN

More information

496

496 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 ISBN4-258-17041-0

More information

(()) () ( ) () () () () () () ( ) () () () () () () () () () () () () ( ) () ( ) () () () ( ) () () () () () ( ) () () () () ( ) () ( ) () () ( ) () ( ) () () () () () () () () () () () () () () () ()

More information

() () () () ( ) () () () () () () () () () () () () () () () () () () () () () () ( () () () () () () () () () () () () ) () ( ) () () ( ) () () () () () () () () () () () () () () () () () () () ()()

More information

fukunagaCSP14th.pptx

fukunagaCSP14th.pptx 第 14 回 CSP 研究会 ( 東洋大学 ) CSP ベースの並列処理記述言語の動向 福永力 首都大学東京 数理情報科学専攻 29/11/2014 1 内容 米国学部情報教育カリキュラム改定案 (2013) 最近のCSPベース並列処理記述言語の動向 ProcessJ(Univ. Nevada Las Vegas) Occam- π(inmos- Univ. Kent UK) Guppy(Univ.

More information

An Interactive Visualization System of Human Network for Multi-User Hiroki Akehata 11N F

An Interactive Visualization System of Human Network for Multi-User Hiroki Akehata 11N F An Interactive Visualization System of Human Network for Multi-User Hiroki Akehata 11N8100002F 2013 3 ,.,.,.,,., (, )..,,,.,,.,, SPYSEE. SPYSEE,,., 2,,.,,.,,,,.,,,.,, Microsoft Microsoft PixelSense Samsung

More information

Configuration Manager (SCCM) + IT IT PC IT PC PC Windows XP OS 移行は簡単! P.7 SCCM / SCCM PC OS Configuration Manager PC PC 2

Configuration Manager (SCCM) + IT IT PC IT PC PC Windows XP OS 移行は簡単! P.7 SCCM / SCCM PC OS Configuration Manager PC PC 2 System Center PC Configuration Manager (SCCM) + IT IT PC IT PC PC Windows XP OS 移行は簡単! P.7 SCCM / SCCM PC OS Configuration Manager PC PC 2 ! /! PC PC PC 1 PC PC! PC PC SCCM! PC Windows Embeded Windows

More information

論理設計の基礎

論理設計の基礎 . ( ) IC (Programmable Logic Device, PLD) VHDL 2. IC PLD 2.. PLD PLD PLD SIC PLD PLD CPLD(Complex PLD) FPG(Field Programmable Gate rray) 2.2. PLD PLD PLD I/O I/O : PLD D PLD Cp D / Q 3. VHDL 3.. HDL (Hardware

More information

ネットワークビデオレコーダー VK-64/VK-16/VK-Lite v2.2 セットアップガイド

ネットワークビデオレコーダー VK-64/VK-16/VK-Lite v2.2 セットアップガイド VK-64/VK-16/VK-Lite Ver. 2.2 VK-64 v2.2 VK-16 v2.2 ( VK-64/VK-16) VK-Lite v2.2 ( VK-Lite) VK-64/VK-16 VK-Lite 2 1. 2. 3. 4. 2. 3. ( ) ( ) canon.jp/webview Canon Canon Microsoft Windows Microsoft Internet

More information

はじめての帳票作成

はじめての帳票作成 ucosminexus EUR 3020-7-532 OS Windows Vista Windows XP P-26D2-5684 ucosminexus EUR Designer 08-00 P-26D2-5784 ucosminexus EUR Developer 08-00 ISO9001 TickIT Microsoft Microsoft Corp. Microsoft Excel Microsoft

More information

untitled

untitled FAIR 2007 4 FAIR 2007 4 FAIR Web / FAIR FAIR Finance and Accounting Information Rules FAIR 2007 FAIR FAIR FAIR FAIR 2007 4 1. FAIR 1.1 FAIRWeb 1.2 1.3 FAIRWeb 1 1 2 2. 2.1 2.2 2.3 2.4 2.5 2.5.1 2.5.2 2.5.3

More information

入門ガイド

入門ガイド ii iii iv NEC Corporation 1998 v P A R 1 P A R 2 P A R 3 T T T vi P A R T 4 P A R T 5 P A R T 6 P A R T 7 vii 1P A R T 1 2 2 1 3 1 4 1 1 5 2 3 6 4 1 7 1 2 3 8 1 1 2 3 9 1 2 10 1 1 2 11 3 12 1 2 1 3 4 13

More information

Oracle Policy Automation 10.0システム要件

Oracle Policy Automation 10.0システム要件 Oracle Policy Automation 10.0 システム要件 2009 年 12 月 - バージョン 1.01 Oracle Policy Automation 製品 バージョン 10.00 の概要 製品 プラットフォーム Oracle Policy Modeling Microsoft Windows( デスクトップ ) Oracle Policy Automation( ランタイム

More information

44 4 I (1) ( ) (10 15 ) ( 17 ) ( 3 1 ) (2)

44 4 I (1) ( ) (10 15 ) ( 17 ) ( 3 1 ) (2) (1) I 44 II 45 III 47 IV 52 44 4 I (1) ( ) 1945 8 9 (10 15 ) ( 17 ) ( 3 1 ) (2) 45 II 1 (3) 511 ( 451 1 ) ( ) 365 1 2 512 1 2 365 1 2 363 2 ( ) 3 ( ) ( 451 2 ( 314 1 ) ( 339 1 4 ) 337 2 3 ) 363 (4) 46

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 0 1 2 3 4 5 6 1964 1978 7 0.0015+0.013 8 1 π 2 2 2 1 2 2 ( r 1 + r3 ) + π ( r2 + r3 ) 2 = +1,2100 9 10 11 1.9m 3 0.64m 3 12 13 14 15 16 17 () 0.095% 0.019% 1.29% (0.348%) 0.024% 0.0048% 0.32% (0.0864%)

More information

Linux Activities for Promoting Desktop Linux Utilization Jun Iio Research Center for Information Technology, Mitsubish

Linux Activities for Promoting Desktop Linux Utilization Jun Iio Research Center for Information Technology, Mitsubish Linux Activities for Promoting Desktop Linux Utilization Jun Iio iiojun@mri.co.jp 100-8141 2-3-6 Research Center for Information Technology, Mitsubishi Research Institute, Inc. 2-3-6 Otemachi, Chiyoda-ku,

More information

インテル® VTune™ パフォーマンス・アナライザー 9.1 Windows* 版

インテル® VTune™ パフォーマンス・アナライザー 9.1 Windows* 版 VTune 9.1 Windows* ................................. 3...................... 3.................................................. 3............................................ 4 :.........................4................................................

More information

SL-D700

SL-D700 CMP0017-04 JA 2015 Seiko Epson Corporation. All rights reserved. A B C D E F G ... 5 /... 38... 5... 5... 5 OS... 6... 7... 7... 9... 10... 11... 11... 12... 13... 13... 13... 14... 15... 15... 16... 16...

More information

untitled

untitled 1 2 ...1 ...1...3...4...4...4...5...7...10 3-1...10 3-2...10 3-3...11 3-4 Windows2000 / XP...11 3-5 PC...13...14 4-1 SYSTEM...14 4-2 DISPLAY...15...17...20...22...23...24...25...25...25...25...26...28

More information

SL-D700

SL-D700 CMP0017-01 JA 2014 Seiko Epson Corporation. All rights reserved. A B C D E F G ... 5 /... 38... 5... 5... 5 OS... 6... 7... 7... 9... 10... 11... 11... 12... 13... 13... 13... 14... 15... 15... 16... 16...

More information

1 1 2 1 1............ 1 2............ 4 3 6 1............... 6 2............... 8 3.............. 9 4 12 1..................... 12 2..................

1 1 2 1 1............ 1 2............ 4 3 6 1............... 6 2............... 8 3.............. 9 4 12 1..................... 12 2.................. 1 1 2 1 1............ 1 2............ 4 3 6 1............... 6 2............... 8 3.............. 9 4 12 1..................... 12 2........................ 14 5 15 6 20 1.............. 20 2..............

More information

i ii i iii iv 1 3 3 10 14 17 17 18 22 23 28 29 31 36 37 39 40 43 48 59 70 75 75 77 90 95 102 107 109 110 118 125 128 130 132 134 48 43 43 51 52 61 61 64 62 124 70 58 3 10 17 29 78 82 85 102 95 109 iii

More information

1...1 2...3 2.1.... 3 2.2.... 4 2.3.... 4 3...6 3.1.... 6 3.1.1.... 6 3.1.2.... 8 3.2.... 10 3.2.1.... 10 3.2.2.... 12 3.2.3.... 16 3.2.4.... 17 3.3..

1...1 2...3 2.1.... 3 2.2.... 4 2.3.... 4 3...6 3.1.... 6 3.1.1.... 6 3.1.2.... 8 3.2.... 10 3.2.1.... 10 3.2.2.... 12 3.2.3.... 16 3.2.4.... 17 3.3.. Japan PersonalComputer Software Association 1...1 2...3 2.1.... 3 2.2.... 4 2.3.... 4 3...6 3.1.... 6 3.1.1.... 6 3.1.2.... 8 3.2.... 10 3.2.1.... 10 3.2.2.... 12 3.2.3.... 16 3.2.4.... 17 3.3.... 18 3.3.1....

More information

今から間にあう仮想化入門とXenについて

今から間にあう仮想化入門とXenについて Xen Linux 2006 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Agenda IA Xen. Xen 4. Xen 2 19 10 1 IA IA Server Linux Windows Linux Linux

More information

SH Mobile Consortium Day

SH Mobile Consortium Day 2006 7 20 BTO 2 Java TM 3 DoCoMo, KDDI (Software) Sprint, Nextel (PCB Architecture) Vodafone, Hutchinson (System Design) Orange, T-Mobile (Software Design) Telefonica (ID Design) Verizon, Cingular, China

More information

VM-53PA1取扱説明書

VM-53PA1取扱説明書 VM-53PA1 VM-53PA1 VM-53 VM-53A VM-52 VM-52A VM-53PA1 VM-53PA1 VM-53A CF i ii VM-53 VM-53A VM-52 VM-52A CD-ROM iii VM-53PA1 Microsoft Windows 98SE operating system Microsoft Windows 2000 operating system

More information

wpEnterpriseSvr.doc

wpEnterpriseSvr.doc COBOLJava.NETWeb IT COBOL Micro Focus Enterprise Server Enterprise Server COBOL Enterprise Server COBOL Enterprise Server COBOL COBOL COBOL Java.NET IT Micro Focus COBOLJ2EE.NET Web COBOL Enterprise Server

More information

EPSON EasyMP Multi PC Projection Ver.1.00 Operation Guide

EPSON EasyMP Multi PC Projection Ver.1.00 Operation Guide EasyMP Multi PC Projection EasyMP Multi PC Projection EasyMP Multi PC Projection... 5...5...5... 6...6...6... 9... 14... 14... 14... 15 EasyMP Multi PC Projection...15...16...17... 17... 18...18...19...20...

More information

2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu

2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu Consideration of requirement of decomposition for a safety related system NEC IEC61508 ISO 26262 We considered the concept of system decomposition paying attention to the decomposition concept of the system

More information

! 行行 CPUDSP PPESPECell/B.E. CPUGPU 行行 SIMD [SSE, AltiVec] 用 HPC CPUDSP PPESPE (Cell/B.E.) SPE CPUGPU GPU CPU DSP DSP PPE SPE SPE CPU DSP SPE 2

! 行行 CPUDSP PPESPECell/B.E. CPUGPU 行行 SIMD [SSE, AltiVec] 用 HPC CPUDSP PPESPE (Cell/B.E.) SPE CPUGPU GPU CPU DSP DSP PPE SPE SPE CPU DSP SPE 2 ! OpenCL [Open Computing Language] 言 [OpenCL C 言 ] CPU, GPU, Cell/B.E.,DSP 言 行行 [OpenCL Runtime] OpenCL C 言 API Khronos OpenCL Working Group AMD Broadcom Blizzard Apple ARM Codeplay Electronic Arts Freescale

More information

統合運用管理ソフトウェア FUJITSU Software Systemwalker 総合カタログ

統合運用管理ソフトウェア FUJITSU Software Systemwalker 総合カタログ FUJITSU Software Systemwalker FUJITSU Software Systemwalker ICT ICTICT ICT ICT FUJITSU Software SystemwalkerICTICT ICT ICT ICT ICT 1 Systemwalker ICT ICT ICT ICT ICT Systemwalker ICT ICT ICT ICT ICT ICT

More information

EPSON EasyMP Slide Converter Ver.1.16 Operation Guide

EPSON EasyMP Slide Converter Ver.1.16 Operation Guide EasyMP Slide Converter EasyMP Slide Converter EasyMP Slide Converter... 4 EasyMP Slide Converter... 4... 5...5...5 EasyMP Slide Converter...20 PowerPointFSE 20...20...20... 21... 21... 21... 22 PowerPoint

More information

活用ガイド (ハードウェア編)

活用ガイド (ハードウェア編) (Windows 98) 808-877675-122-A ii iii iv NEC Corporation 1999 v vi PART 1 vii viii PART 2 PART 3 ix x xi xii P A R T 1 2 1 3 4 1 5 6 1 7 8 1 9 10 11 1 12 1 1 2 3 13 1 2 3 14 4 5 1 15 1 1 16 1 17 18 1 19

More information

untitled

untitled WG 2013 P P P P WG WG P WG 12 12 P P20 200 200 200 200 2011 2012 2012 11 1 2 21 2 2 1 2 2 2 2 1 2 1 2 11 720,450(8.0) 37,845(0.4) 4) 37.7 7 5.4 0.1 8,299,154(91.6)

More information

untitled

untitled 19 - 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - 29 - -

More information

Cisco Nexus 9000 シリーズ データセンター スイッチ ガイド

Cisco Nexus 9000 シリーズ データセンター スイッチ ガイド 9000 P IT 9000 IoT Fintech API SDN Software Defined Network API DevOps 9000 SDN IT VXLAN SDN Cisco Application Centric Infrastructure ACI Tetration & Full Netflow 1/10/25/40/50/100Gbps / DLB/Flow Prioritization

More information

Cosminexus Application Designer操作ガイド

Cosminexus Application Designer操作ガイド Cosminexus Application Designer 3020-3-M91 OS Windows Server 2003 Windows Server 2003 R2 Windows XP Windows Vista P-2443-7E74 ucosminexus Developer Standard 07-50 P-2443-7F74 ucosminexus Developer Professional

More information

u302.book

u302.book Text Search Filter Library Version 3 3000-6-302-10 P-1MD3-3831* Text Search Filter Library Version 3 03-10 OS AIX 5L V5.2 AIX 5L V5.3 P-24D3-3834 Text Search Filter Library Version 3 03-10 OS Windows 2000

More information

25 2014 2 i 1 Kinect 17% 0% 100% iii iii v vii 1 1 1.1............................... 1 1.2............................... 2 1.3.............................. 2 2 3 2.1.................................

More information

2002 715 02-13M 1. 200110 024 2. 3. 4. 100 60 5. 6. 2002715 1 1 1 4 9 9 12 12 13 14 14 15 15 17 17 18 22 22 23 25 25 25 29 200110 024 3 1 1965 500 800 3,000 2,000 1 1 60 2.84 1.173 1 2002 71 1,726 1,085

More information

PC Development of Distributed PC Grid System,,,, Junji Umemoto, Hiroyuki Ebara, Katsumi Onishi, Hiroaki Morikawa, and Bunryu U PC WAN PC PC WAN PC 1 P

PC Development of Distributed PC Grid System,,,, Junji Umemoto, Hiroyuki Ebara, Katsumi Onishi, Hiroaki Morikawa, and Bunryu U PC WAN PC PC WAN PC 1 P PC Development of Distributed PC Grid System,,,, Junji Umemoto, Hiroyuki Ebara, Katsumi Onishi, Hiroaki Morikawa, and Bunryu U PC WAN PC PC WAN PC 1 PC PC PC PC PC Key Words:Grid, PC Cluster, Distributed

More information

ViewSonic Corporation, Macintosh Power Macintosh Microsoft Windows Windows ViewSonic 3 OnView ViewMatch ViewMeter ViewSonic ViewSonic, ViewSonic

ViewSonic Corporation, Macintosh Power Macintosh Microsoft Windows Windows ViewSonic 3 OnView ViewMatch ViewMeter ViewSonic ViewSonic, ViewSonic PJ-PEN-003 IR VS15219 ViewSonic Corporation, 2013. Macintosh Power Macintosh Microsoft Windows Windows ViewSonic 3 OnView ViewMatch ViewMeter ViewSonic ViewSonic, ViewSonic ViewSonic i ViewSonic ViewSonic

More information

develop

develop SCore SCore 02/03/20 2 1 HA (High Availability) HPC (High Performance Computing) 02/03/20 3 HA (High Availability) Mail/Web/News/File Server HPC (High Performance Computing) Job Dispatching( ) Parallel

More information

fmaster.dvi

fmaster.dvi 9 888 Java Just-in-Time OpenJIT 11 1 1 1 1.1 : : : : : : : : : : : : : : : : : : : : 1 1.2 : : : : : : : : : : : : : : : : : : : : : : : : 2 1.3 : : : : : : : : : : : : : : : : : : : : : : : : 6 1.4 :

More information

1 10 1113 14 1516 1719 20 21 22 2324 25 2627 i 2829 30 31 32 33 3437 38 3941 42 4344 4547 48 4950 5152 53 5455 ii 56 5758 59 6061 iii 1 2 3 4 5 6 7 8 9 10 PFI 30 20 10 PFI 11 12 13 14 15 10 11 16 (1) 17

More information

VMware VirtualCenter: Virtual Infrastructure Management Software

VMware VirtualCenter: Virtual Infrastructure  Management Software VMware : CPU 1998 VMware : 50(R&D) : Workstation1999 GSX Server 2001 ESX Server 2001 : 900 100805%VMware 200 100 10,000 2 VMware Workstation 1999 Linux x86 3 VMware GSX Server Windows Linux x86 4 VMware

More information

2013 M

2013 M 2013 M0110453 2013 : M0110453 20 1 1 1.1............................ 1 1.2.............................. 4 2 5 2.1................................. 6 2.2................................. 8 2.3.................................

More information

はじめてのCANoe

はじめてのCANoe CANoe CANoe 11.0 Vector Japan Co., Ltd. 目次 03 1 CANoe 03 CANoe 3 04 CANoe 05 2 06 06 1. 06 2. D-Sub9 07 3. 08 4. 09 5. Vector Hardware Config 10 6. 13 7. 14 3 15 15 15 1. ECU 15 2. 15 3. 17 4. 17 5. 18

More information

Exif Viewer, DPOF Editor 使用説明書

Exif Viewer, DPOF Editor 使用説明書 Exif Viewer DP Editor 2 3 I 4 II III 5 I 6 I 7 I 8 I 9 I 10 I 11 I 12 I 13 I 14 I 15 I 16 I 17 I 18 I 19 I 20 I 21 I 22 I 23 I 24 25 I 26 I 27 I 28 I 29 I Windows 30 I 31 I 32 I 33 I 34 35 II II 36 II

More information

A book

A book Hitachi Multi Payment Network communications server 3000-3-493-40 P-1B43-6111 Hitachi Multi Payment Network communications server Base 01-03( OS HP-UX 11.0 HP-UX 11i) P-1B43-6311 Hitachi Multi Payment

More information

橡告改.PDF

橡告改.PDF JAVA e 14 2 7 3 1-1 3 1-2 3 1-3 4 e 4 2-1 4 2-2 6 2-3 7 2-4 14 2-5 18 Java 19 3-1 Java 19 3-2 e 21 3-3 22 33 34 35 2 1-1 e 2000 American Society for Training Development e e e IT e e e 2003 e 5 2500 [1]

More information

EP-4004

EP-4004 NPD4612-00 ...6... 6... 8...9 /...11 CD/DVD...12...12...12 /...15 CD/DVD...16 CD/DVD...16 CD/DVD...17...19...19...23 Mac OS X...24 Mac OS X v10.5.x v10.7.x...24 Mac OS X v10.4.11...28...32...33...34...37...38...39...42!ex...42

More information

QW-3414

QW-3414 MA1312-C P 1 2 3 A E L D E D A A E D A D D D D D E A C A C E D A A A C A C A C E E E D D D A C A C A A A A C A C A C E E C C E D D C C C E C E C C E C C C E D A C A C A C E L B B

More information

EPSON EasyMP Multi PC Projection Ver.1.10 Operation Guide

EPSON EasyMP Multi PC Projection Ver.1.10 Operation Guide EasyMP Multi PC Projection EasyMP Multi PC Projection EasyMP Multi PC Projection... 5...5...5... 6...6...6... 9... 14... 14... 14... 15 EasyMP Multi PC Projection...15...16...17... 17... 18...18...19...20...

More information

山梨県ホームページ作成ガイドライン

山梨県ホームページ作成ガイドライン 17 7 ...1...4...4...4...4...5...5 W3C...5...6...6...6...7...8...8...10...10...10... 11...12...12...13...13...13...14...14...14...15...15...16...16...16...16...16...17...18 15 (2003 ) 69.7 81.1 43.6 19.6

More information

Jp

Jp Jp 3 PC WT-7 i ii HDMI PDF Z 7 Z 6 Z7 https://downloadcenter.nikonimglib.com/ja/products/492/z_7.html Z6 https://downloadcenter.nikonimglib.com/ja/products/493/z_6.html HTML Z 7 https://onlinemanual.nikonimglib.com/z7_z6/ja/

More information

sg_lenovo_os.xlsx

sg_lenovo_os.xlsx System x OS System Guide Windows Server 1/41 2/41 3/41 4/41 Lenovo OEMRed Hat Enterprise Linux 5/41 6/41 7/41 8/41 9/41 10/41 11/41 12/41 13/41 14/41 15/41 16/41 VMware Lenovo 17/41 18/41 19/41 20/41 21/41

More information