プレーンCでコーディングされたニューラルネットワークを検証するベンチマークを紹介します。
― 1 分で読む
コンピューターサイエンス - ソフトウェア工学
RSS生成AIアプリの独自のテスト課題を検証する。
― 1 分で読む
組織の結びつきを理解することで、マイクロサービスプロジェクトの成功を高められるよ。
― 1 分で読む
海上ルーティングの効率を改善する新しいアプローチ。
― 1 分で読む
新しいアルゴリズムがR1CS表現を簡素化して、ZKPの明確さと効率を向上させる。
― 1 分で読む
量子コンピューティングのバグを見つける新しい方法について学ぼう。
― 1 分で読む
エッジコンピューティングが静的ウェブサイトとそのホスティングをどう改善するかを探る。
― 1 分で読む
デジタルツインを使って列車制御管理の異常検知を改善する。
― 1 分で読む
REST APIテストの効率と効果を向上させる新しいアプローチ。
― 1 分で読む
ソフトウェア開発で包括的なテストスイートを生成するためのより速い方法。
― 1 分で読む
すべてのソフトウェアライブラリでより良い安全性が必要だってことを強調してる。
― 1 分で読む
ヘルスケアIoTアプリケーションテストを改善するための革新的なHITAデザインを発見しよう。
― 1 分で読む
この記事では、Kafkaでメッセージの順序を維持する方法について話してるよ。
― 1 分で読む
新しいモデルは、中間表現を使ってコードとの作業を改善するよ。
― 1 分で読む
変異ベースのバグローカリゼーションは、DNNのバグを見つける新しい方法を提供するよ。
― 1 分で読む
この記事では、HPCコード生成におけるLlama-2とGPT-3を比較してるよ。
― 1 分で読む
新しいアプローチが、インシデント中のAIの予測に対するエンジニアの自信を高めてるよ。
― 1 分で読む
開発者がGitHub Copilotとその機能をどう使ってるかを見てみよう。
― 1 分で読む
ラテはオブジェクト参照の追跡を簡素化して、開発者の負担を減らすよ。
― 1 分で読む
深層学習のテストでよくある問題に対処してモデルの信頼性を向上させる。
― 1 分で読む
ソフトウェア改善のための正確で多様なバグデータセットを作る方法を紹介するよ。
― 1 分で読む
この研究は、異なるハードウェアタイプ間でMLライブラリを移動する際の問題を調べている。
― 1 分で読む
Rustの複雑なエラーメッセージを理解するためのツール。
― 1 分で読む
新しいアプローチがオンラインのソフトウェア言語仕様のコードナビゲーションを強化するよ。
― 1 分で読む
CRILは効率的なプログラミングのために可逆性と同時実行性を組み合わせてるよ。
― 1 分で読む
タイムド・レベッカは、時間に敏感なメッセージ処理を持つ非同期システムをモデル化する。
― 1 分で読む
新しいシステムがデータを使ってクラウドサービスの障害診断を改善するよ。
― 1 分で読む
新しい手法がAPIの提案を強化して、ソフトウェア開発をサポートする。
― 1 分で読む
最小限のコード変更でコンパイルエラーを修正する新しいアプローチ。
― 1 分で読む
プログラムのバリアントがWebAssemblyのセキュリティを脆弱性からどう改善できるか学ぼう。
― 1 分で読む
新しい方法が、主要なカバレッジ目標に注目することで自動テスト生成を改善してるよ。
― 1 分で読む
新しいフレームワークがソフトウェアの脆弱性の収集と理解を改善することを目指してるよ。
― 1 分で読む
ChatGPTのログ解析、分析、要約タスクにおける効果を評価する。
― 1 分で読む
この研究は、コードモデルがAPIの名前や使い方をどれだけ理解しているかを調査してるよ。
― 1 分で読む
LLMがVerilogコードの作成と評価をどのように効率化するか学ぼう。
― 1 分で読む
新しい方法が量子コンピュータ作業のコンパイル時間を短縮することを目指している。
― 1 分で読む
ChatGPTがソフトウェア開発のコードレビューをどのように効率化できるか発見しよう。
― 1 分で読む
この記事では、同時システムにおけるデータセキュリティを検証する新しい方法について話してるよ。
― 0 分で読む
ハードウェア設計検証プロセスを効率化するために大規模言語モデルを使う。
― 1 分で読む
言語モデルを使ってドナーコードを選ぶことでソフトウェアのバグを修正する新しいアプローチ。
― 1 分で読む