スポンサーリンク
日本ソフトウェア科学会 | 論文
- GAPを用いたキャッシュによるエージェントの同時集中移動時における通信量の削減
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ
- Binary Code Analysis for Malware with Expansive Static Analysis and Dynamic Emulation
- TARZAN: An FMIPv6 Implementation Using Link Layer Abstractions
- SAT/SMT solvers and their applications
- A Systematic Review of Software Fault Prediction Studies and Related Techniques
- A Lisp Environment for Distributed Applications based on Safe Ambients
- Introduction to the Special Issue on Realization of Novel Software
- 書込みバリアにロックやメモリバリア命令を用いない並行スナップショットごみ集め
- メモリ上の配置を意識する並列処理向き高水準機械語の設計と実装
- ソースレベルチェックポインティングの実現に向けて
- 協調エージェントに基づいたグリッドコンピューティングの為のセキュアコンポーネントシステム
- GPUを利用したポインタ解析の実装と評価
- 決定論的２階パターンとプログラム変換への応用
- MMPP: Maximum Marking Problems in Parallel
- Parallelizing Polytypic Programs with Accumulations
- 木スケルトンによるXPathクエリの並列化とその評価
- インターネット技術 リンク情報によるＷｅｂページ間の類似度推定
- The Trend from Imitation to Creation in Complex Network Simulations
- ネットワークトポロジの次数情報に着目したサーバ・クライアント負荷分散方式の提案と評価