Virtual I/O Device (VIRTIO) Version 1.1
This prose specification is one component of a Work Product that also includes: Example Driver Listing: https://docs.oasis-open.org/virtio/virtio/v1.1/csprd01/listings/ This specification replaces or supersedes: Virtual I/O Device (VIRTIO) Version 1.0. Edited by Rusty Russell, Michael S. Tsirkin, Cornelia Huck, and Pawel Moll. Latest version: https://docs.oasis-open.org/virtio/virtio/v1.0/virtio-v
決定表（デシジョンテーブル）とは
決定表（英：decision table）とは、複数の条件と、その条件から求められる期待値を整理するための表です。 次の図は決定表のイメージ例です。 決定表の見方は、例えば1列目であれば「〇〇」と「△△」の両方が当てはまるとき、結果は「C」となる。という感じです。 このように複数の条件とその期待結果を表にまとめたのが、決定表（デシジョンテーブル）です。 ソフトウェア開発などでは、作成したソフトが仕様通りに動作するのかを確認するためのテスト手法として用いられています。決定表を利用し複数条件の組み合わせを洗い出すことで、テストケースを網羅することができます。
Adobe Photoshop File Formats Specification
Adobe Photoshop File Formats Specification November 2019 Copyright © 1991-2019 Adobe Systems Incorporated. All rights reserved. Portions Copyright © 1990-1991, Thomas Knoll. The information in this document is furnished for informational use only, is subject to change without notice, and should not be construed as a commitment by Adobe Systems Incorporated. Adobe Systems Incorporated assumes no re
Forth
An awesome stack based programming language, which is able to extend itself during runtime. \ a comment followed by the shortest quine source type \ another shorty, hello world looks like that ." hello world" \ tell me, what else can we do? ask the system itself! words \ this will yield all defined words EuroForth 2024 Newcastle Upon Tyne, 27.-29. September 2024 The 40th EuroForth conference takes
RISC-V "V" ベクトル拡張 — riscv-v-spec-japanese ドキュメント
» RISC-V "V" ベクトル拡張 View page source RISC-V "V" ベクトル拡張¶ Contents: v1.0-rc1からの変更点 現在まで変更なし。 イントロダクション 実装により定義される定数パラメータ ベクトル拡張のプログラミングモデル ベクトルレジスタ mstatus 内のベクトルコンテキストステータス ベクトル型レジスタ vtype ベクトル長レジスタ vl ベクトルバイト長 vlenb ベクトルスタートインデックスCSR vstart ベクトル固定小数点丸めモードレジスタ vxrm ベクトル固定小数点飽和フラグ vxsat Vector 制御・ステータスレジスタ vcsr リセット時のベクトル拡張の状態 ベクトルレジスタ状態へのベクトル要素のマッピング LMUL = 1 時のマッピング LMUL < 1の場合のマッピング LMUL > 1 のマッピ
The OAuth 2.0 Authorization Framework: Bearer Token Usage（日本語）
The OAuth 2.0 Authorization Framework: Bearer Token Usage（日本語） Abstract この仕様書は, OAuth 2.0の保護リソースへアクセスするために, 署名無しトークンをHTTPリクエスト中でどのように利用するか記述したものである. 署名無しトークンを所有する任意のパーティ (持参人) は, 関連づけられたリソースへアクセスするために署名無しトークンを利用できる (暗号鍵の所有を示す必要はない). 誤った利用を避けるために, 署名無しトークンは保存場所や流通経路での値の露見から守られる必要がある. Status of This Memo This is an Internet Standards Track document. This document is a product of the Internet Enginee
The OAuth 2.0 Authorization Framework
Abstract OAuth 2.0 は, サードパーティーアプリケーションによるHTTPサービスへの限定的なアクセスを可能にする認可フレームワークである. サードパーティーアプリケーションによるアクセス権の取得には, リソースオーナーとHTTPサービスの間で同意のためのインタラクションを伴う場合もあるが, サードパーティーアプリケーション自身が自らの権限においてアクセスを許可する場合もある. 本仕様書はRFC 5849に記載されているOAuth 1.0 プロトコルを廃止し, その代替となるものである. Status of This Memo This is an Internet Standards Track document. This document is a product of the Internet Engineering Task Force (IETF). It re
Committee Draft — December 2, 2010 ISO/IEC 9899:201x Programming languages — C www.open-std.org/jtc1/sc22/wg14/www/docs/n1548.pdf
N1548 Committee Draft — December 2, 2010 ISO/IEC 9899:201x INTERNATIONAL STANDARD ©ISO/IEC ISO/IEC 9899:201x Programming languages — C ABSTRACT (Cover sheet to be provided by ISO Secretariat.) This International Standard specifies the form and establishes the interpretation of programs expressed in the programming language C. Its purpose is to promote portability, reliability, maintainability, and
オープンソース製品の「仕様」 - 赤帽エンジニアブログ
Red Hatの佐藤匡剛です。昨日、Red Hat Forum / Tech Nightにお越しいただいた方、ありがとうございました。 昨日のRed Hat Tech Night冒頭のトークセッションで、id:nekopこと木村さんから面白い発言があり、Twitterでも話題になっていたようなので、ちょっとフォローアップの記事を書きたいと思います。 「これは仕様ですか？」 と聞かれても、たまたま開発者がそうしただけというケースもあり、答えにくいことが多々ある #rhtn2018— 転職しても肉の妖精だった件 (@nanodayo) November 8, 2018 仕様が先かコード書いた人の気持ちが先か #rhtn2018— えいご (@enagok) November 8, 2018 実装がたまたまそうなっているw とても分かる。#rhtn2018— 水無月 忠司 (@longyoru)
CMSIS: Introduction
The CMSIS (Common Microcontroller Software Interface Standard) is a set of APIs, software components, tools, and workflows that help to simplify software re-use, reduce the learning curve for microcontroller developers, speed-up project build and debug, and thus reduce the time to market for new applications. CMSIS started as a vendor-independent hardware abstraction layer Arm® Cortex®-M based pro
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Efficient runtime verification for the Linux kernel - Red Hat Research
https://shiftasia.com/ja/column/%E3%83%87%E3%82%B7%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%86%E3%83%BC%E3%83%96%E3%83%AB%EF%BC%88%E6%B1%BA%E5%AE%9A%E8%A1%A8%EF%BC%89%E3%81%A8%E3%81%AF/
https://www.mouser.jp/new/quicklogic/quicklogic-eos-s3-mcu-efpga-socs/
Google Pixel のハードウェア技術仕様 - Google Pixel ヘルプ
スマートホーム共通規格「Matter」発表。Amazon、Google、Apple参加
Releases · microsoft/checkedc
Extension overview
Microsoft Word - 16E0421A_HL3.docx
IBM Knowledge Center
Re: Interrupt handlers and mutex