UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

SHIFTED POWER METHOD FOR COMPUTING TENSOR EIGENPAIRS

SIAM journal on matrix analysis and applications, 2011-10, Vol.32 (4), p.1095-1124

2011

Volltextzugriff (PDF)

An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs

SIAM journal on matrix analysis and applications, 2014-01, Vol.35 (4), p.1563-1581

2014

Volltextzugriff (PDF)

Influence and dynamic behavior in random boolean networks

Physical review letters, 2011-09, Vol.107 (10), p.108701-108701, Article 108701

2011

Volltextzugriff (PDF)

Log-Correlated Large-Deviation Statistics Governing Huygens Fronts in Turbulence

Journal of statistical physics, 2019-07, Vol.176 (2), p.456-477

2019

Volltextzugriff (PDF)

Characterizing short-term stability for Boolean networks over any distribution of transfer functions

Physical review. E, 2016-07, Vol.94 (1-1), p.012301-012301, Article 012301

2016

Volltextzugriff (PDF)

Targeted modification of hardware trojans

Journal of hardware and systems security, 2019-06, Vol.3 (2), p.189-197

2019

Volltextzugriff (PDF)

Noncooperatively optimized tolerance: decentralized strategic optimization in complex systems

Physical review letters, 2011-09, Vol.107 (10), p.108702-108702, Article 108702

2011

Volltextzugriff (PDF)

Field theory of the inverse cascade in two-dimensional turbulence

Physical review. E, Statistical, nonlinear, and soft matter physics, 2005-11, Vol.72 (5 Pt 2), p.056316-056316, Article 056316

Mayo, Jackson R

2005

Volltextzugriff (PDF)

Scalar filtered mass density functions in nonpremixed turbulent jet flames

Combustion and flame, 2008-10, Vol.155 (1), p.54-69

2008

Volltextzugriff (PDF)

Log-Correlated Large-Deviation Statistics Governing Huygens Fronts in Turbulence

Journal of statistical physics, 2019-06, Vol.17 (2)

2019

Volltextzugriff (PDF)

Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models

2020 IEEE/ACM 10th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS), 2020, p.11-20

2020

Volltextzugriff (PDF)

Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony

2020 IEEE/ACM 10th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS), 2020, p.1-10

2020

Volltextzugriff (PDF)

Algorithmic Input Generation for More Effective Software Testing

2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 2022, p.1708-1715

2022

Volltextzugriff (PDF)

Physics-Based Checksums for Silent-Error Detection in PDE Solvers

Euro-Par 2019: Parallel Processing Workshops, 2019, Vol.11997, p.681-693

2019

Volltextzugriff (PDF)

Scaling of Huygens-front speedup in weakly random media

Physics letters. A, 2007-12, Vol.372 (1), p.5-11

2007

Volltextzugriff (PDF)

A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults

Procedia computer science, 2016, Vol.80, p.1917-1926

2016

Volltextzugriff (PDF)

Fronts in randomly advected and heterogeneous media and nonuniversality of Burgers turbulence: theory and numerics

Physical review. E, Statistical, nonlinear, and soft matter physics, 2008-11, Vol.78 (5 Pt 2), p.056307-056307, Article 056307

2008

Volltextzugriff (PDF)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Formal Techniques for Safety-Critical Systems, p.172-186

Volltextzugriff (PDF)

Publisher's Note: Characterizing short-term stability for Boolean networks over any distribution of transfer functions [Phys. Rev. E 94 , 012301 (2016)]

Physical review. E, 2016-09, Vol.94 (3), Article 039901

2016

Volltextzugriff (PDF)

Publisher's Note: Characterizing short-term stability for Boolean networks over any distribution of transfer functions [Phys. Rev. E 94, 012301 (2016)]

Physical review. E, 2016-09, Vol.94 (3-2), p.039901-039901

2016

Volltextzugriff (PDF)

Asynchrony and Failure Masking via Pseudo-Local Process Recovery in MPI Applications

2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2024, p.1164-1166

2024

Volltextzugriff (PDF)

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Electronic notes in theoretical computer science, 2015-11, Vol.317, p.71-83

2015

Volltextzugriff (PDF)

Using computational game theory to guide verification and security in hardware designs

2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2017, p.110-115

2017

Volltextzugriff (PDF)

Digital system robustness via design constraints: The lesson of formal methods

2015 Annual IEEE Systems Conference (SysCon) Proceedings, 2015, p.109-114

2015

Volltextzugriff (PDF)

Robust Digital Computation in the Physical World

Cyber-Physical Systems Security, 2018, p.1-21

2018

Volltextzugriff (PDF)

1 – 25 von 52

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(38)
Mit Volltextzugriff
(38)

Publikationsform

Sprache

Englisch
(52)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

SHIFTED POWER METHOD FOR COMPUTING TENSOR EIGENPAIRS

An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs

Influence and dynamic behavior in random boolean networks

Log-Correlated Large-Deviation Statistics Governing Huygens Fronts in Turbulence

Characterizing short-term stability for Boolean networks over any distribution of transfer functions

Targeted modification of hardware trojans

Noncooperatively optimized tolerance: decentralized strategic optimization in complex systems

Field theory of the inverse cascade in two-dimensional turbulence

Scalar filtered mass density functions in nonpremixed turbulent jet flames

Log-Correlated Large-Deviation Statistics Governing Huygens Fronts in Turbulence

Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models

Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony

Algorithmic Input Generation for More Effective Software Testing

Physics-Based Checksums for Silent-Error Detection in PDE Solvers

Scaling of Huygens-front speedup in weakly random media

A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults

Fronts in randomly advected and heterogeneous media and nonuniversality of Burgers turbulence: theory and numerics

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Publisher's Note: Characterizing short-term stability for Boolean networks over any distribution of transfer functions [Phys. Rev. E 94 , 012301 (2016)]

Publisher's Note: Characterizing short-term stability for Boolean networks over any distribution of transfer functions [Phys. Rev. E 94, 012301 (2016)]

Asynchrony and Failure Masking via Pseudo-Local Process Recovery in MPI Applications

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Using computational game theory to guide verification and security in hardware designs

Digital system robustness via design constraints: The lesson of formal methods

Robust Digital Computation in the Physical World

Suchergebnisse filtern