Movatterモバイル変換

Itisangoid:Itisango

• 84,352ブックマーク
• -お気に入り
• -お気に入られ

タグ

• すべて
• Google(77)
• togetter(82)
• はてな(50)
• まとめ(53)
• ネタ(52)
• 日本(71)
• 社会(112)
• .NET(319)
• 11月(49)
• 2004年(51)
• 2005年(65)
• 2006年(65)
• 2007年(89)
• 2008年(108)
• 2009年(124)
• 2010年(406)
• 2011年(813)
• 2012年(2592)
• 2013年(2336)
• 2014年(663)
• 2015年(365)
• 2016年(348)
• 2017年(166)
• 2018年(60)
• 2ch(1085)
• 47NEWS(71)
• AFP(134)
• AFPBB(131)
• AI(304)
• Android(449)
• Apache(188)
• Azure(104)
• C++(421)
• CNET(82)
• CPU(58)
• CentOS(137)
• DB(258)
• DBMS(99)
• DNS(70)
• Eclipse(54)
• Excel(166)
• FLOSS(88)
• Facebook(143)
• GNU(179)
• Google(1241)
• Google Chrome(93)
• HDD(99)
• HTML5(188)
• HTTP(86)
• IBM(97)
• IDE(82)
• IPA(151)
• IT(3170)
• ITmedia(113)
• Intel(68)
• Japanese(72)
• Linux(2022)
• ML(66)
• Microsoft(2027)
• NAVER(53)
• NHK(327)
• OBS(49)
• OS(261)
• OSS(262)
• Office(141)
• Oracle(299)
• RDBMS(65)
• RISS(62)
• SF(84)
• SNS(223)
• SQL(185)
• SSL(63)
• TV(146)
• UI(103)
• UNIX(287)
• USA(61)
• USB(66)
• Ubuntu(424)
• VCS(77)
• VM(54)
• VirtualBox(103)
• Visual Studio(90)
• Windows(1680)
• X(67)
• adobe(83)
• agile(97)
• ajax(60)
• algorithm(98)
• amazon(369)
• amazon.co.jp(247)
• anime(87)
• anonymous(52)
• api(543)
• app(141)
• apple(148)
• application(117)
• architecture(99)
• asahi.com(202)
• astronomy(109)
• authentication(93)
• aws(213)
• backup(58)
• bash(79)
• biology(94)
• blog(433)
• book(856)
• bookmark(93)
• boot(64)
• browser(214)
• bug(212)
• bugreport(116)
• build(212)
• business(1874)
• c(352)
• c#(159)
• cat(66)
• chrome(341)
• class(90)
• cloud(196)
• code(189)
• comic(217)
• command(231)
• communication(122)
• community(105)
• computer(148)
• config(237)
• copyright(170)
• crime(50)
• css(126)
• data(102)
• database(158)
• debian(203)
• debug(113)
• design(195)
• desktop(82)
• dev(105)
• development(4308)
• device(63)
• distribution(184)
• docker(91)
• document(243)
• download(111)
• driver(65)
• earthquake(57)
• economics(117)
• economy(108)
• editor(58)
• education(167)
• emacs(67)
• english(152)
• error(90)
• event(156)
• extension(90)
• file(183)
• firefox(134)
• framework(242)
• game(289)
• gigazine(242)
• git(326)
• github(295)
• guideline(50)
• hardware(79)
• hatena(252)
• health(168)
• history(345)
• howto(135)
• html(265)
• iPhone(88)
• information(72)
• install(133)
• internet(229)
• jQuery(55)
• japan(224)
• java(947)
• javascript(808)
• job(51)
• kernel(121)
• language(413)
• law(286)
• library(159)
• life(172)
• lifehack(180)
• log(59)
• mail(119)
• malware(165)
• management(442)
• manual(208)
• math(111)
• mathematics(200)
• media(131)
• medical(103)
• memory(57)
• mixi(85)
• mobile(157)
• movie(82)
• music(152)
• mysql(73)
• neta(169)
• network(698)
• news(975)
• node.js(55)
• openSUSE(298)
• package(253)
• password(83)
• pc(652)
• performance(84)
• perl(266)
• photo(61)
• php(150)
• physics(182)
• politics(312)
• privacy(187)
• program(77)
• programming(4833)
• project(204)
• protocol(174)
• python(221)
• rails(99)
• reference(165)
• report(177)
• review(77)
• ruby(329)
• science(2739)
• search(99)
• security(3151)
• server(334)
• service(169)
• shell(82)
• slide(88)
• society(156)
• software(5030)
• source(131)
• ssh(77)
• standard(135)
• storage(74)
• study(134)
• system(174)
• technology(237)
• term(55)
• test(238)
• tips(524)
• togetter(393)
• tool(785)
• trouble(223)
• tutorial(140)
• twitter(823)
• virtualization(55)
• virus(57)
• web(2802)
• webサービス(128)
• webデザイン(112)
• web制作(309)
• wikipedia(606)
• word(91)
• work(244)
• あとで読む(9818)
• おもしろ(54)
• お役立ち(80)
• これはすごい(371)
• これはひどい(1923)
• はてな(381)
• はてなブックマーク(123)
• はてブ(89)
• まとめ(808)
• アジャイル(84)
• アニメ(195)
• アプリ(229)
• アプリケーション(185)
• アメリカ(367)
• アルゴリズム(139)
• イベント(87)
• インタビュー(59)
• インターネット(218)
• インフラ(95)
• ウイルス(99)
• エネルギー(69)
• エロ(52)
• エンジニア(361)
• オブジェクト指向(67)
• オープンソース(133)
• クラウド(119)
• ゲーム(289)
• コマンド(244)
• コミュニケーション(162)
• コンピュータ(174)
• サイエンス(144)
• サイト(169)
• サーバ(303)
• サービス(366)
• システム(498)
• システム開発(102)
• スマートフォン(53)
• セキュリティ(1711)
• セルクマ(77)
• ソフトウェア(673)
• ツール(542)
• テクノロジー(75)
• テスト(234)
• テレビ(140)
• デザイン(167)
• デマ(79)
• データ(349)
• データベース(161)
• トンデモ(169)
• ニセ科学(100)
• ニュース(976)
• ネタ(6337)
• ネット(356)
• ネットワーク(272)
• ノーベル賞(48)
• パスワード(131)
• ビジネス(778)
• ファイル(129)
• フリーソフト(69)
• ブラウザ(186)
• ブラック企業(50)
• ブログ(224)
• プライバシー(77)
• プレゼン(66)
• プログラマ(149)
• プログラミング(2350)
• プログラミング言語(76)
• プログラム(230)
• プロジェクト(203)
• ホメオパシー(48)
• マスコミ(105)
• マネジメント(127)
• マンガ(233)
• マーケティング(66)
• メディア(309)
• メンタルヘルス(74)
• メール(89)
• ライフハック(91)
• ロシア(124)
• ロボット(65)
• 中国(476)
• 事件(473)
• 事故(110)
• 人工知能(69)
• 人権(119)
• 人物(59)
• 人生(385)
• 仕事(1867)
• 仕事術(86)
• 仮想化(63)
• 企業(1013)
• 会社(260)
• 便利(78)
• 個人情報(53)
• 健康(357)
• 写真(105)
• 冤罪(74)
• 出版(84)
• 労働(736)
• 勉強(341)
• 勉強会(156)
• 動物(126)
• 動画(178)
• 化学(133)
• 北朝鮮(195)
• 医学(63)
• 医療(421)
• 原発(224)
• 司法(168)
• 哲学(68)
• 図書館(84)
• 国際(614)
• 地震(174)
• 報道(96)
• 増田(199)
• 外交(63)
• 大学(258)
• 大阪(108)
• 天文(239)
• 太陽系(55)
• 学び(82)
• 学習(258)
• 宇宙(573)
• 安倍晋三(82)
• 宗教(270)
• 就活(86)
• 就職(164)
• 差別(158)
• 広告(60)
• 従軍慰安婦(50)
• 心理(208)
• 思想(112)
• 情報(392)
• 慰安婦(60)
• 憲法(116)
• 戦争(136)
• 技術(1369)
• 政治(2504)
• 教育(864)
• 数学(392)
• 文化(209)
• 文章(75)
• 日本(3650)
• 日本語(190)
• 映画(103)
• 書籍(181)
• 書評(109)
• 本(650)
• 東北地方太平洋沖地震(179)
• 検索(136)
• 橋下徹(57)
• 機械学習(117)
• 歴史(1124)
• 歴史修正主義(76)
• 民主党(92)
• 池田信夫(131)
• 法律(426)
• 海外(208)
• 漫画(332)
• 災害(200)
• 物理(253)
• 特許(96)
• 犯罪(246)
• 猫(119)
• 環境(168)
• 生活(650)
• 生物(341)
• 産経(120)
• 産経新聞(81)
• 画像(335)
• 研究(1083)
• 社会(4875)
• 科学(1722)
• 組織(181)
• 経営(192)
• 経済(1100)
• 経済学(54)
• 統計(186)
• 翻訳(65)
• 考え方(743)
• 考察(90)
• 脅迫(49)
• 脆弱性(102)
• 脳(181)
• 自民党(205)
• 芸能(93)
• 英語(190)
• 著作権(236)
• 行政(260)
• 裁判(186)
• 言葉(210)
• 言語(351)
• 設定(241)
• 設計(174)
• 試験(135)
• 読み物(180)
• 読書(70)
• 警察(221)
• 議論(73)
• 資料(450)
• 資格(143)
• 軍事(203)
• 転職(102)
• 運用(116)
• 選挙(59)
• 金融(75)
• 鉄道(97)
• 開発(2027)
• 雇用(102)
• 雑学(83)
• 韓国(332)
• 音楽(165)
• 食(106)
• 高木浩光(67)
• あとで読む(9818)
• ネタ(6337)
• software(5030)
• 社会(4875)
• programming(4833)
• development(4308)
• 日本(3650)
• IT(3170)
• security(3151)
• web(2802)

タグをすべて表示

関連タグで絞り込む (8)

• FLOSS
• hypervisor
• micro
• micro kernel
• Muen
• OS
• separation
• 分散OS

タグの絞り込みを解除

OSSとkernelに関するItisangoのブックマーク (1)

• Muen | SK for x86/64

  • 7 users
  • muen.codelabs.ch
  • テクノロジー

  Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtimeerrors at the source code level.It is developed in Switzerland by codelabs GmbH. Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and adv

  

  Itisango2013/12/12

  “The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level.”

  • Muen
  • micro kernel
  • micro
  • kernel
  • OS
  • hypervisor
  • separation
  • 分散OS
  • OSS
  • FLOSS

  リンク
• 1

• 総合
• 一般
• 世の中
• 政治と経済
• 暮らし
• 学び

• テクノロジー
• エンタメ
• アニメとゲーム
• おもしろ

• アプリ・拡張機能
• 開発ブログ
• ヘルプ
• お問い合わせ
• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• 公式アカウント
• ホットエントリー