コンピューターサイエンス - プログラミング言語

RSS

プログラミング言語 CSEマシン：プログラミングを学ぶ新しい方法

Scheme言語を使ってプログラミングのコンセプトを簡単に学べるツール。

Kyriel Abad, Martin Henz

2025-04-24T11:05:45+00:00 ― 1 分で読む

最新の記事

機械学習フレックスアテンション：機械学習の未来

Flex Attentionが機械学習のデータフォーカスをどう変えるかを探ってみて。

Juechu Dong, Boyuan Feng, Driss Guessous

2025-04-08T15:40:03+00:00 ― 1 分で読む

ハードウェアアーキテクチャー ASC-Hook: ARMデバイスのシステムコールを強化する

ASC-Hookは、ARMアプリケーションのシステムコールのパフォーマンスとモニタリングを向上させる。

Yang Shen, Min Xie, Wenzhe Zhang

2025-04-04T20:59:06+00:00 ― 1 分で読む

データベース効率的なデータベースクエリ合成：実験結果

例から効率的なドキュメントデータベースクエリを作る研究。

Qikang Liu, Yang He, Yanwen Cai

2025-04-02T14:24:54+00:00 ― 1 分で読む

ソフトウェア工学フェードルス：アプリケーションプロファイリングのゲームチェンジャー

Phaedrusはソフトウェアのプロファイリングを強化して、効率とパフォーマンスを向上させるよ。

Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan

2025-03-30T19:48:27+00:00 ― 1 分で読む

ハードウェアアーキテクチャー PyraNetでVerilogコード生成を革命化しよう！

PyraNetデータセットは、Verilogコードの品質と効率の向上を推進してるよ。

Bardia Nadimi, Ghali Omar Boutaib, Hao Zheng

2025-03-30T11:46:57+00:00 ― 1 分で読む

プログラミング言語 GoからRustへの翻訳: 実践ガイド

このステップバイステップの方法で、GoプロジェクトをRustにうまく翻訳する方法を学ぼう。

Hanliang Zhang, Cristina David, Meng Wang

2025-03-26T23:31:12+00:00 ― 1 分で読む

プログラミング言語 B2Scalaでセキュリティ強化: 新しいアプローチ

B2Scalaツールは、安全なコミュニケーションのためのセキュリティプロトコル分析を強化するよ。

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 1 分で読む

プログラミング言語分散型再構成：システムを整理する新しい方法

ソフトウェアシステムにおける分散再構成の利点を発見しよう。

Farid Arfi, Hélène Coullon, Frédéric Loulergue

2025-03-19T14:58:12+00:00 ― 1 分で読む

プログラミング言語コンピューティングにおける非同期コミュニケーションのマスター方法

非同期コミュニケーションがシステムのやり取りや効率をどう向上させるかを発見しよう。

Bas van den Heuvel, Jorge A. Pérez

2025-03-19T14:10:03+00:00 ― 1 分で読む

プログラミング言語代数的手法でプログラム分析を加速する

インクリメンタル分析がプログラミングを効率化して生産性を上げる方法を学ぼう。

Chenyu Zhou, Yuzhou Fang, Jingbo Wang

2025-03-13T11:18:36+00:00 ― 1 分で読む

ソフトウェア工学 ACInv: ループ不変生成の新しい時代

ACInvを見つけよう、複雑なプログラミングのためのループ不変条件生成を革命的に変えるツールだよ。

Ruibang Liu, Guoqiang Li, Minyu Chen

2025-03-12T14:26:42+00:00 ― 1 分で読む

プログラミング言語パターンマッチングでAIコンパイラを最適化する

パターンマッチングがGPUでのAIコンパイラのパフォーマンスをどう向上させるかを発見しよう。

Joseph W. Cutler, Alex Collins, Bin Fan

2025-02-26T21:25:12+00:00 ― 1 分で読む

人工知能新しいフレームワークでAI開発を革命的に変える

画期的なツールキットが開発者のために基盤モデルの使用を簡素化する。

Ziyang Li, Jiani Huang, Jason Liu

2025-02-21T12:13:03+00:00 ― 1 分で読む

暗号とセキュリティサイバー脅威から産業制御システムを守る

新しいセキュリティ手法で産業システムをサイバー攻撃から守る方法を学ぼう。

Arthur Amorim, Trevor Kann, Max Taylor

2025-02-21T00:10:48+00:00 ― 1 分で読む

プログラミング言語 LLMSAで静的解析を革命する

新しいアプローチは、ソフトウェア開発をより良くするために言語モデルを使って静的解析を強化するんだ。

Chengpeng Wang, Yifei Gao, Wuqi Zhang

2025-02-20T14:33:00+00:00 ― 1 分で読む

計算機科学における論理暗黙のランキングでライヴィネス検証を簡素化する

暗黙のランキングを使ってシステムの振る舞いを検証する新しいアプローチ。

Raz Lotan, Sharon Shoham

2025-02-18T16:00:18+00:00 ― 1 分で読む

プログラミング言語 C言語のコードを安全なRustに変換する

Cコードを安全なRustに自動翻訳する方法を学ぼう。

Aymeric Fromherz, Jonathan Protzenko

2025-02-12T22:46:39+00:00 ― 1 分で読む

計算機科学における論理 AuDaLa: コードを書く新しい方法

AuDaLaを発見しよう！データ処理と並列タスクを簡単にするプログラミング言語だよ。

Tom T. P. Franken, Thomas Neele

2025-02-12T12:20:42+00:00 ― 1 分で読む

プログラミング言語コカベイズ：確率的プログラミングの簡素化

Koka Bayesが確率プログラミングをもっと簡単で効果的にする方法を発見しよう。

Oliver Goldstein, Ohad Kammar

2025-02-11T02:01:16+00:00 ― 1 分で読む

機械学習スピーディーシンセサイザー：プログラム合成の未来

革新的な高速シンセサイザーが、定常遅延効率でプログラム合成を変革しているのを発見してみて！

Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde

2025-01-29T11:17:42+00:00 ― 1 分で読む

プログラミング言語パケット処理をマスターする: ガイド

パケット処理と検証の基本を深く掘り下げてみよう。

Shengyi Wang, Mengying Pan, Andrew W. Appel

2025-01-23T11:38:51+00:00 ― 1 分で読む

プログラミング言語量子プログラミングで未来を切り開こう

量子プログラミングの基本と応用を簡単に探ってみよう。

Mingsheng Ying, Li Zhou, Gilles Barthe

2025-01-22T02:44:42+00:00 ― 1 分で読む

量子物理学量子プログラミングの自動化：新しいアプローチ

このレポートでは、補助キュービットを使って量子プログラミングの効率を向上させる方法について話してるよ。

Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni

2025-01-20T01:18:02+00:00 ― 1 分で読む

機械学習ディープラーニングオペレーター設計の革命

新しいフレームワークがディープラーニングの演算子を簡素化して、開発者のための精度と使いやすさを向上させたよ。

Qi Zhan, Xing Hu, Xin Xia

2025-01-17T22:10:22+00:00 ― 1 分で読む