ソフトウェア開発 に関する最新の記事

サーバーレスアプリケーションのコールドスタート遅延を減らすための戦略。

ソフトウェア要件の明確さを高め、問題を減らすための新しいアプローチ。

GitHubからChatGPTを使ったいろんなプロジェクトを分析中。

新しいベンチマークがコーディング言語モデルの強みと弱みを明らかにした。

自然言語のコメントとコード構造を組み合わせることで、脆弱性の検出が改善されるよ。

新しい技術がコンピュータプログラムのメモリ管理検証を強化する。

新しい方法が自動機と代数を使って線形整数方程式の解法を改善した。

ニューラルネットワークの認証は、重要なアプリケーションでの安全性と信頼性を確保するんだ。

OCLルールに基づいたSQLの整合性を確認する新しい方法。

Cコードのメモリ問題を分析するためのツール。

この研究は、ベイズ法がマルウェア検出システムをどう改善できるかを探ってるんだ。

分散システムにおける通信プロトコルの概要、特に待機のみのノンブロッキングブロードキャストプロトコルに焦点を当てる。

新しい方法でプログラムのコンパイルが改善されて、過去のデータを使って出力ファイルが小さくなった。

CoderUJBは、実際のJavaプログラミングタスクにおけるLLMのパフォーマンスを評価します。

アセンブリプログラミングが競争と出会う、サバイバーたちがCodeGuru Xtremeで戦う。

新しいベンチマークが会議の議事録を理解する言語モデルのパフォーマンスを評価する。

コストに敏感なプログラミングがリソース管理を最適化する重要性を見つけよう。

ある研究が人気のパスワード管理ソフトの脆弱性を明らかにした。

大規模言語モデルがソフトウェアの脆弱性検出をどう改善できるかに関する研究。

この記事では、グラフ処理研究におけるより良いベンチマーキングの必要性について話してるよ。

FT2Raは、フルモデルの再トレーニングなしでリトリーバル手法を使ってコード補完の効率を高める。

表現不変条件に対してデータ構造を自動的に検証するための高度な技術を使った方法。

LLMがCプログラミングをもっと安全で効率的にする方法を学ぼう。

イタリアのChatGPT禁止は、ソフトウェア開発者の生産性に予想外の影響を与えた。

Rustにおける開発者の危険なコード使用に関する研究。

新しいフレームワークがDSLの相互運用性とHPCの効率を向上させることを目指してるよ。

JupyterでXAIシステムを統合してAIの理解を深める方法を学ぼう。

この論文では、ライブネス要件を通じてソフトウェアの動作を改善することについて話してるよ。

クレシェンド攻撃は、フレンドリーな会話を使ってAIモデルを有害な出力に操る。

ブロックストレージを使ってスパース行列の計算を最適化するシステム。

WebSPLを紹介するよ、効率的なウェブアプリ作成のための構造化された方法だよ。

類似パターンを通じて、カテゴリデータの視覚化と分析の方法を革命的に変えよう。

セキュリティAPIを使ってAI生成コードのセキュリティ影響を調べる。

ROBUSTデータセットは、研究者がロボティクスのソフトウェア問題に取り組むのを助けるよ。

知識工学におけるシステム効率を高めるためのリファレンスアーキテクチャの提案。

新しい方法が自動プログラム検証への信頼を高める。

新しい方法で確率プログラムの出力分析が自動化されるよ。

自動化ツールが学習者のSQLクエリ作成をどんだけ助けるか探ってみよう。

自動ツールがスマートコントラクトのERC準拠を監査して、セキュリティを向上させるよ。

プログラミング言語で効果的な計算をスムーズにする新しいアプローチ。