Axivion Architecture Verification Software architecture verification
<g> <g> <defs> <rect id="SVGID_1_" x="-468" y="-1360" width="1440" height="3027" /> </defs> <clippath id="SVGID_2_"> <use xlink:href="#SVGID_1_" style="overflow:visible;" /> </clippath> </g> </g> <rect x="-468" y="-1360" class="st0" width="1440" height="3027" style="fill:rgb(0,0,0,0);stroke-width:3;stroke:rgb(0,0,0)" /> <path d="M13.4,12l5.8-5.8c0.4-0.4,0.4-1,0-1.4c-0.4-0.4-1-0.4-1.4,0L12,10.6L6.2
Page maintained by Ke-Sen Huang. If you have additions or changes, send an e-mail. Information here is provided with the permission of the ACM Note that when possible I link to the page containing the link to the actual PDF or PS of the preprint. I prefer this as it gives some context to the paper and avoids possible copyright problems with direct linking. Thus you may need to search on the page t
次世代PlayStationではAMDのZenマイクロアーキテクチャをCPUコアに採用か ライター:米田 聡 Linuxなどオープンソース関連のニュースサイトとして著名なPhoronixが,「次世代PlayStationはCPUコアにAMDのZenマイクロアーキテクチャを採用するのではないか」と報じている。 Phoronixがそう推測する根拠は,Sony Interactive Entertainment(以下,SIE) Europeでメインプログラマー(Principal Programmer)を務めるSimon Pilgrim氏(LinkedInにあるプロフィールページ)が,コンパイラ基盤「LLVM」のZen向けスケジューラに手を加えてある点とのことだ。 Zen向けスケジューラのソース(GitHub) ……と言われても何のことやらという読者はいると思うので,ざっと解説しておくと,まずL
これは私が最近よく訪問する日本橋駅直結の商業ビル、東京日本橋ビル内のエレベーターのボタンです。 唐突に質問ですが、このボタンで操作ミスを起こすポイントがあるとすれば、それがどこだか分かりますか? 説明が必要と思いますが、このビルは7Fがオフィスロビーになっています。駅直結のB1と1Fからは7Fまで直通するシャトルエレベーターがあり、全員7Fで一度降り、セキュリティチェックをし、23Fより上にあるオフィスフロアに入ります。そのオフィスロビーとオフィスフロアを行き来するためのエレベーターのボタンがこれです。 ボタンが23Fから30Fまでしかなくて、下に大きく7Fのボタンがあるのは、そういったビルの構造からです。 私と同行したディレクター(26歳)は、打ち合わせが終わってオフィスフロアからオフィスロビーに帰る際に、操作ミスをしました。それも1度だけでありません。次の打ち合わせの帰りにもまったく同
世界各国で開発が進められている量子コンピューターに匹敵するという桁違いの計算能力を持つ新型の国産コンピューターが実用化されることになりました。宅配のルート選択やがんの治療など幅広い分野で活用が期待されます。 大手電機メーカーの富士通は、この「組み合わせ最適化問題」を従来の電子回路を使いながら、量子コンピューターに匹敵する能力で処理できるという新型のコンピューターを開発し、今月からサービスの提供を始めました。 量子コンピューターと違い、部品を超低温に保つ必要がないため、大がかりな装置がいらないのが特徴だということです。 富士通では、人手不足が深刻な宅配業務を効率化するために最適なルートを選んだり、がん治療で放射線を当てる最も効果的な角度を決めたりする場合など幅広い分野で活用できるとして、2022年度までに1000億円規模の事業に成長させる計画です。
なお、本稿の内容は基本的に、Windows版のVS Code(64ビット版)で動作確認し、必要に応じてmacOS版でも確認をしている。 VS CodeでPythonする理由 PythonをサポートするエディタやIDE(統合開発環境)は数多く存在する。例えば、JetBrainsのPyCharmは優れたIDEであり、恐らく、VS CodeでできることはPyCharmでもできるだろう。それでもなお、VS Codeを使う理由とは何だろう。筆者もちょっと考えてみた。 VS Codeは無償で使える、軽量なエディタである(上に挙げたPyCharmにも無償で利用できるCommunityエディションはあるし、オープンソースプロダクトとして無償で利用できるエディタも数多いが) Python拡張機能をインストールすることで、IntelliSenseを利用したコード補完が可能になる 同じくPython拡張機能によ
The original demo by Russell; he even dated it! And yes, the first demo was on the PC, not the Amiga. Lemmings started life as a simple animation back in August 1989 when DMA Design had just moved into their first office (which only consited of 2 small rooms), and were begining a new game called Walker (based on the walker that was used in Blood Money). Scott Johnson (author of Hired Guns on the A
磁石の性質がある曲がった金属に、電気を流すだけで温度が上がったり下がったりする現象を世界で初めて観測したと、日本の物質・材料研究機構などのグループが発表し、コンピューターの新しい冷却技術などにつながる可能性があると注目されています。 その結果、金属の曲がっている部分で、温度がわずかに上がったり、下がったりして、電流が増えるほどその度合いが増す現象を世界で初めて観測しました。 グループによりますと、この現象は50年以上前に存在が予測されていましたが、これまで観測された例はなく、電気を熱に変える研究の進展やコンピューターの新しい冷却技術などにつながる可能性があると注目されています。 物質・材料研究機構の内田健一グループリーダーは「ニッケルという身近な材料にも、まだ、新しい物理現象が眠っているんだと驚きました。電気を流すだけで、振動も騒音もなく小さいところに組み込めるので、新しい熱制御の原理につ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く