RCIS

Results: 87



#Item
21

Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Automated debugging attempts to locate the reason for a failure. Delta debugging minimizes the differe

Add to Reading List

Source URL: staff.aist.go.jp

Language: English - Date: 2015-11-26 00:31:25
    22

    Tools and Techniques for Model Checking Networked Programs Cyrille Artho RCIS/AIST Tokyo, Japan Watcharin Leungwattanakit

    Add to Reading List

    Source URL: staff.aist.go.jp

    Language: English - Date: 2015-11-26 00:31:51
      23

      CASE STUDY: IBM Knowledge sharing and collaboration via social networks – internal and external Martin Švík, PhD. – IBM Analytics Platform Technical Leader for CEE/RCIS AGENDA

      Add to Reading List

      Source URL: kas.economia.ihned.cz

      Language: English
        24

        Separation of Transitions, Actions, and Exceptions in Model-based Testing Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Model-based testing generates test cases from a high-l

        Add to Reading List

        Source URL: staff.aist.go.jp

        Language: English - Date: 2015-11-26 00:31:41
          25

          Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

          Add to Reading List

          Source URL: staff.aist.go.jp

          Language: English - Date: 2015-12-08 00:16:08
            26

            Software Model Checking Cyrille Artho Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan

            Add to Reading List

            Source URL: staff.aist.go.jp

            Language: English - Date: 2015-12-08 00:16:09
              27

              Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan

              Add to Reading List

              Source URL: staff.aist.go.jp

              Language: English - Date: 2015-11-26 00:31:03
                28

                Introduction of Virtualization Technology to Multi-Process Model Checking Watcharin Leungwattanakit Cyrille Artho University of Tokyo RCIS/AIST

                Add to Reading List

                Source URL: staff.aist.go.jp

                Language: English - Date: 2015-11-26 00:32:02
                  29

                  Coding-Based Oblivious Transfer Kazukuni Kobara1 , Kirill Morozov1 , and Raphael Overbeck2? 1 RCIS, AIST Akihabara Daibiru, room 1102

                  Add to Reading List

                  Source URL: imi.kyushu-u.ac.jp

                  - Date: 2008-06-30 20:16:56
                    30Mathematics / Applied mathematics / Information theory / Quantum information science / Computational complexity theory / Low-density parity-check code / Quantum error correction / Quantum computer / Noisy-channel coding theorem / Coding theory / Theoretical computer science / Error detection and correction

                    Quantum Error Correction beyond the Bounded Distance Decoding Limit K. Kasai†, M. Hagiwara‡, H. Imai‡?, and K. Sakaniwa† † ‡ ? Tokyo Tech, RCIS, AIST, Chuo University

                    Add to Reading List

                    Source URL: www.comm.ce.titech.ac.jp

                    Language: English - Date: 2013-03-26 05:46:45
                    UPDATE