JAIST Repository >

一覧: タイトル

移動先: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
タイトルの先頭数文字を入力して移動:   

検索結果: 1268-1288 / 2073.

前ページ 次ページ
発行日タイトル 著者
Sep-2013 Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance MechanismsPham, Thanh-Trung; Defago, Xavier
15-May-2014 Reliability prediction for component-based software systems: Dealing with concurrent and propagating errorsPham, Thanh-Trung; Defago, Xavier; Huynh, Quyet-Thang
1-Dec-2001 Reliable Data Routing for Spatial-Temporal TMR Multiprocessor SystemsKANEKO, Mineo
Jul-2008 Reordering Phrase-based machine translation over chunksNguyen, Vinh Van; Nguyen, Thai Phuong; Shimazu, Akira; Nguyen, Minh Le
26-Jul-2017 Rep-cubes: Unfolding and Dissection of CubesXu, Dawei; Horiyama, Takashi; Uehara, Ryuhei
UnsetReport of Wireless Access & Multiple Antenna TechnologiesWolf, Albrecht; Festag, Andreas; Hou, Jiancao; Yi, Na; Hussain, Iqbal; Jiang, Weiwei; Matsumoto, Tad; He, Jiguang; Editor: Albrecht Wolf
1-Mar-2016 rERA: An optimization algorithm of task dependency graph for schedulingCheng, Zhuo; Tan, Yasuo; Lim, Yuto
2-Jun-2004 Resource Management and Scheduling in Grid ComputingYuanyuan, Zhang; Shen, Hong
1-Jul-2001 Results of Link-Level Simulations Using Field Measurement Data for an FTDL-Spatial/ MLSE-Temporal EqualizerYAMADA, Takefumi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; TRAUTWEIN, Uwe
15-Jun-2016 Reverse mathematical bounds for the Termination TheoremSteila, Silvia; Yokoyama, Keita
27-Oct-2012 Reverse mathematics and Peano categoricitySimpson, Stephen G.; Yokoyama, Keita
17-Oct-2015 Revising a Labelled Sequent Calculus for Public Announcement LogicNomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi
15-Sep-2008 Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed PointMiyaji, Atsuko; Mizosoe, Kenji
Oct-2018 Revisited Diffusion Analysis of Salsa and ChaChaMATSUOKA, Yusuke; MIYAJI, Atsuko
15-Jul-2012 A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked UsersEmura, Keita; Miyaji, Atsuko; Omote, Kazumasa
31-May-2006 Rewriting game theory applied to protein signalling in MAPK cascadesSenachak, Jittisak; Vestergaard, Mun'delanji; Vestergaard, Rene
31-May-2006 Rewriting game theory as a foundation for state-based models of gene regulationChettaoui, Chafika; Delaplace, Franck; Lescanne, Pierre; Vestergaard, Mun'delanji; Vestergaard, Rene
Apr-2004 Rewriting-Based Verification of Authentication ProtocolsOgata, Kazuhiro; Futatsugi, Kokichi
May-2014 RFID Path Authentication, RevisitedMamun, Mohammad Saiful Islam; Miyaji, Atsuko
2007 RFID-based mobile robot guidance to a stationary targetKim, Myungsik; Chong, Nak Young
Sep-2007 RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding AntennasKim, Myungsik; Chong, Nak Young; Ahn, Hyo-Sung; Yu, Wonpil
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)