|
JAIST Repository >
検索結果
検索結果表示: 151-160 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 2-Jun-2004 | Overview of Task Scheduling in Grid Computing | Yuanyuan, Zhang; Shen, Hong |
| 18-Jun-2004 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
| 2-Jun-2004 | Resource Management and Scheduling in Grid Computing | Yuanyuan, Zhang; Shen, Hong |
| 26-Jan-2005 | Models for Blocking Probability of Hign-Speed Optical Banyan Networks on Vertical Stacking | Jiang, Xiaohong |
| 12-Jan-2005 | Mathematical foundations for self-referential sentences | Litak, Taeusz |
| 31-Jan-2005 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
| 20-Apr-2006 | VoIP over wireless LAN survey | Beuran, Razvan |
| 8-Aug-2006 | KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems | Hiraishi, Kunihiko |
| 12-Jan-2007 | Reasoning with abstractions as context-based reasoning | Saeger, Stijn De; Shimojima, Atsushi |
| 14-May-2009 | Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin; Ogawa, Mizuhito |
前へ
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
次へ
|
