Stream

Results: 13549



#Item
1nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1  2

nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1 2

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:57
2A fundamental evaluation of 80bit keys employed by hardware oriented stream ciphers Iain Devlin Centre for Electronic Systems, Durham University

A fundamental evaluation of 80bit keys employed by hardware oriented stream ciphers Iain Devlin Centre for Electronic Systems, Durham University

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-04-17 15:16:36
3Visual Event Mining from the Twitter Stream Takamu Kaneko Keiji Yanai  Department of Informatics, The University of Electro-Communications, Tokyo

Visual Event Mining from the Twitter Stream Takamu Kaneko Keiji Yanai Department of Informatics, The University of Electro-Communications, Tokyo

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:43:40
4Technical Report  On the Mathematical Properties of Monadic Stream Functions 1.

Technical Report On the Mathematical Properties of Monadic Stream Functions 1.

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2018-10-16 07:48:38
5Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2018-01-10 13:23:57
6A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a

A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-04-17 15:16:45
7Efficient FPGA implementations of high-dimensional cube testers on the stream cipher Grain-128 Jean-Philippe Aumasson Itai Dinur Luca Henzen Willi Meier Adi Shamir

Efficient FPGA implementations of high-dimensional cube testers on the stream cipher Grain-128 Jean-Philippe Aumasson Itai Dinur Luca Henzen Willi Meier Adi Shamir

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2009-09-22 19:00:54
8

PDF Document

Add to Reading List

Source URL: daiwair.webcdn.stream.ne.jp

- Date: 2018-06-05 03:27:16
    9

    PDF Document

    Add to Reading List

    Source URL: daiwair.webcdn.stream.ne.jp

    - Date: 2018-05-29 02:55:54
      10

      PDF Document

      Add to Reading List

      Source URL: daiwair.webcdn.stream.ne.jp

      - Date: 2018-06-04 04:06:43