スポンサーリンク
INRIA | 論文
- Low-overhead checkpoint for large-scale GPU-accelerated systems
- Low-overhead checkpoint for large-scale GPU-accelerated systems
- 複数グリッドジョブ実行システムの計算資源を統合・利用するGrid RPCシステムの設計と実装(グリッドシステム)
- 高階書換え系における引数切り落とし法と実効規則
- SIMPOSのプログラミング環境 : フォントエディタ
- Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems
- 複数グリッドミドルウエア上で動作するGrid RPCシステムOmniRPCの設計と実装(HPC-4: グリッド)
- P2P分散システムXtremWeb上でのGrid RPCシステムOmniRPCの設計(HPC-7 : グリッド(2))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- Stable kernels and fluid body envelopes (特集 高次機能の学習と創発--脳・ロボット・人間研究における新たな展開)
- Argument Filterings and Usable Rules in Higher-order Rewrite Systems
- Modular Architecture for Humanoid Walking Pattern Prototyping and Experiments
- 21aTF-12 量子最適制御方程式を解くための新しい単調収束アルゴリズムの開発
- Policy and Scope Management for Multicast Channel Announcement(Networks)
- Design and Analysis of IGMPv3 and MLDv2 Host-Side Protocol Implementations(Protocols, Applications and Services)(New Thechnologies and their Applications of the Internet)
- Regularized Bi-Conjugate Gradient Algorithm for Tomographic Reconstruction of Buried Objects(Special Issue on Problems of Random Scattering and Electromagnetic Wave Sensing)
- Microwave Inverse Scattering : Quantitative Reconstruction of Complex Permittivity for Different Applications
- Online Walking Motion Generation with Automatic Footstep Placement
- マイクロ波による埋設物トモグラフィのための測定システムと近傍界再構成アルゴリズム
- マイクロ波による埋設物トモグラフィのための測定システムと近傍界再構成アルゴリズム
- DOMAIN DECOMPOSITION & WALL LAWS(Domain Decomposition Methods and Related Topics)