Stream

Results: 13549



#Item
1Mathematics / Arithmetic / Interval / Bracket / E1

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
2Cryptography / Stream ciphers / Block cipher / ESTREAM / DICING / WG

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
3Computing / Digital media / Data / Geographic data and information / Social networking services / Social media / Web 2.0 / Twitter / Geotagging / Geotagged photograph

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
4Software engineering / Computer programming / Mathematics / Spectral theory / Computability theory / Lambda calculus / Theoretical computer science / Monad / Continuous function / Function composition / Spectral theory of ordinary differential equations / Jordan normal form

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
5Arithmetic / Interval / Bracket

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
6Cryptography / Stream ciphers / VEST / Grain / Field-programmable gate array / Altera / Xilinx / Brute-force attack / Stratix / Block cipher / Py / Data Encryption Standard

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
7Cryptography / Stream ciphers / Grain / Cube attack / Trivium / ESTREAM / Linear-feedback shift register / ARIA / Lookup table

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
        UPDATE