skip to main content
Language:
Refined by: collection: Springer Books remove language: Japanese remove Springer Nature - Springer Lecture Notes in Computer Science eBooks remove top level: Full Text Online remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
Material Type:
Conference Proceeding 		Add to e-Shelf

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Artho, Cyrille ; Visser, W.

25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Peer Reviewed Journal]

Full text available

Citations Cited by
2
New Security Proof for the Boneh-Boyen IBE: Tight Reduction in Unbounded Multi-challenge Security
New Security Proof for the Boneh-Boyen IBE: Tight Reduction in Unbounded Multi-challenge Security
Material Type:
Book Chapter 		Add to e-Shelf

New Security Proof for the Boneh-Boyen IBE: Tight Reduction in Unbounded Multi-challenge Security

Attrapadung, Nuttapong ; Hanaoka, Goichiro ; Yamada, Shota

Information and Communications Security, 2015, Vol.8958, p.176-190 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
3
Parallel H.264 decoding on an embedded multicore processor
Parallel H.264 decoding on an embedded multicore processor
Material Type:
Conference Proceeding 		Add to e-Shelf

Parallel H.264 decoding on an embedded multicore processor

Azevedo, Arnaldo ; Meenderinck, Cor ; Juurlink, Ben ; Terechko, Andrei ; Hoogerbrugge, Jan ; Álvarez Mesa, Mauricio ; Ramírez Bellido, Alejandro

Springer-Verlag, Berlin, Heidelberg 2009

Full text available

Citations Cited by
4
DDoS Attacks Detection in Cloud Computing Using Data Mining Techniques
DDoS Attacks Detection in Cloud Computing Using Data Mining Techniques
Material Type:
Book Chapter 		Add to e-Shelf

DDoS Attacks Detection in Cloud Computing Using Data Mining Techniques

Borisenko, Konstantin ; Smirnov, Andrey ; Novikova, Evgenia ; Shorov, Andrey

Advances in Data Mining. Applications and Theoretical Aspects, 2016, Vol.9728, p.197-211 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
5
Immunotronics : Hardware Fault Tolerance Inspired by the Immune System
Immunotronics : Hardware Fault Tolerance Inspired by the Immune System
Material Type:
Book Chapter 		Add to e-Shelf

Immunotronics : Hardware Fault Tolerance Inspired by the Immune System

Bradley, D. W. ; Tyrrell, A. M.

Evolvable Systems: From Biology to Hardware, 2000, Vol.1801, p.11-20 [Peer Reviewed Journal]

Germany: Springer Berlin / Heidelberg

Full text available

Citations Cited by
6
Limit Behavior of the Multi-agent Rotor-Router System
Limit Behavior of the Multi-agent Rotor-Router System
Material Type:
Book Chapter 		Add to e-Shelf

Limit Behavior of the Multi-agent Rotor-Router System

Chalopin, Jérémie ; Das, Shantanu ; Gawrychowski, Paweł ; Kosowski, Adrian ; Labourel, Arnaud ; Uznański, Przemysław

Distributed Computing, 2015, Vol.9363, p.123-139 [Peer Reviewed Journal]

Germany: Springer Berlin / Heidelberg

Full text available

Citations Cited by
7
Cryptanalysis of Midori128 Using Impossible Differential Techniques
Cryptanalysis of Midori128 Using Impossible Differential Techniques
Material Type:
Book Chapter 		Add to e-Shelf

Cryptanalysis of Midori128 Using Impossible Differential Techniques

Chen, Zhan ; Chen, Huaifeng ; Wang, Xiaoyun

Information Security Practice and Experience, 2016, Vol.10060, p.1-12 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
8
Stable Leader Election in Population Protocols Requires Linear Time
Stable Leader Election in Population Protocols Requires Linear Time
Material Type:
Book Chapter 		Add to e-Shelf

Stable Leader Election in Population Protocols Requires Linear Time

Doty, David ; Soloveichik, David

Distributed Computing, 2015, Vol.9363, p.602-616 [Peer Reviewed Journal]

Germany: Springer Berlin / Heidelberg

Full text available

Citations Cited by
9
A Multiple-Fault Injection Attack by Adaptive Timing Control Under Black-Box Conditions and a Countermeasure
A Multiple-Fault Injection Attack by Adaptive Timing Control Under Black-Box Conditions and a Countermeasure
Material Type:
Book Chapter 		Add to e-Shelf

A Multiple-Fault Injection Attack by Adaptive Timing Control Under Black-Box Conditions and a Countermeasure

Endo, Sho ; Homma, Naofumi ; Hayashi, Yu-ichi ; Takahashi, Junko ; Fuji, Hitoshi ; Aoki, Takafumi

Constructive Side-Channel Analysis and Secure Design, 2014, Vol.8622, p.214-228 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
10
A goal-oriented approach for the generation and evaluation of alternative architectures
A goal-oriented approach for the generation and evaluation of alternative architectures
Material Type:
Book Chapter 		Add to e-Shelf

A goal-oriented approach for the generation and evaluation of alternative architectures

Grau Colom, Gemma ; Franch Gutiérrez, Javier

Springer 2007

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Book Chapters  (17)
  2. Conference Proceedings  (2)
  3. More options open sub menu

Creation Date 

From To
Refine
  1. Before2001  (4)
  2. 2001To2008  (2)
  3. 2009To2013  (2)
  4. 2014To2016  (11)
  5. After 2016  (1)
  6. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far