発行日 | タイトル |
著者 |
Sep-2013 | Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms | Pham, Thanh-Trung; Defago, Xavier |
15-May-2014 | Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors | Pham, Thanh-Trung; Defago, Xavier; Huynh, Quyet-Thang |
1-Dec-2001 | Reliable Data Routing for Spatial-Temporal TMR Multiprocessor Systems | KANEKO, Mineo |
Jul-2008 | Reordering Phrase-based machine translation over chunks | Nguyen, Vinh Van; Nguyen, Thai Phuong; Shimazu, Akira; Nguyen, Minh Le |
26-Jul-2017 | Rep-cubes: Unfolding and Dissection of Cubes | Xu, Dawei; Horiyama, Takashi; Uehara, Ryuhei |
Unset | Report of Wireless Access & Multiple Antenna Technologies | Wolf, 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 scheduling | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
2-Jun-2004 | Resource Management and Scheduling in Grid Computing | Yuanyuan, Zhang; Shen, Hong |
1-Jul-2001 | Results of Link-Level Simulations Using Field Measurement Data for an FTDL-Spatial/ MLSE-Temporal Equalizer | YAMADA, Takefumi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; TRAUTWEIN, Uwe |
15-Jun-2016 | Reverse mathematical bounds for the Termination Theorem | Steila, Silvia; Yokoyama, Keita |
27-Oct-2012 | Reverse mathematics and Peano categoricity | Simpson, Stephen G.; Yokoyama, Keita |
17-Oct-2015 | Revising a Labelled Sequent Calculus for Public Announcement Logic | Nomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi |
15-Sep-2008 | Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed Point | Miyaji, Atsuko; Mizosoe, Kenji |
Oct-2018 | Revisited Diffusion Analysis of Salsa and ChaCha | MATSUOKA, Yusuke; MIYAJI, Atsuko |
15-Jul-2012 | A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
31-May-2006 | Rewriting game theory applied to protein signalling in MAPK cascades | Senachak, Jittisak; Vestergaard, Mun'delanji; Vestergaard, Rene |
31-May-2006 | Rewriting game theory as a foundation for state-based models of gene regulation | Chettaoui, Chafika; Delaplace, Franck; Lescanne, Pierre; Vestergaard, Mun'delanji; Vestergaard, Rene |
Apr-2004 | Rewriting-Based Verification of Authentication Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
May-2014 | RFID Path Authentication, Revisited | Mamun, Mohammad Saiful Islam; Miyaji, Atsuko |
2007 | RFID-based mobile robot guidance to a stationary target | Kim, Myungsik; Chong, Nak Young |
Sep-2007 | RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding Antennas | Kim, Myungsik; Chong, Nak Young; Ahn, Hyo-Sung; Yu, Wonpil |