UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 124

Sortiert nach

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)

Modeling and Simulating Multiple Failure Masking Enabled by Local Recovery for Stencil-Based Applications at Extreme Scales

IEEE transactions on parallel and distributed systems, 2017-10, Vol.28 (10), p.2881-2895

2017

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)

Influence and dynamic behavior in random boolean networks

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

2011

Volltextzugriff (PDF)

Targeted modification of hardware trojans

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

2019

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)

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)

A Simulator for Large-Scale Parallel Computer Architectures

International journal of distributed systems and technologies, 2010-04, Vol.1 (2), p.57-73

2010

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)

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)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

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

Volltextzugriff (PDF)

Size-Dependent Energy of Ni Nanoparticles on Graphene Films on Ni(111) and Adhesion Energetics by Adsorption Calorimetry

ACS catalysis, 2022-10, Vol.12 (20), p.12632-12642

2022

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)

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)

Scalable Failure Masking for Stencil Computations using Ghost Region Expansion and Cell to Rank Remapping

SIAM journal on scientific computing, 2017-01, Vol.39 (5), p.S347-S378

2017

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)

Scaling of Huygens-front speedup in weakly random media

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

2007

Volltextzugriff (PDF)

Enabling Resilience in Asynchronous Many-Task Programming Models

Euro-Par 2019: Parallel Processing, 2019, Vol.11725, p.346-360

2019

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)

Enabling Resilience in Asynchronous Many-Task Programming Models

2019

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)

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)

1 – 25 von 124

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(80)
Mit Volltextzugriff
(101)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(122)
Japanisch
(11)
Spanisch
(2)

Erscheinungsjahr

n.n

Thema

Science & Technology
(60)
Life Sciences & Biomedicine
(33)
Humans
(26)
Technology
(18)
Physical Sciences
(15)
Computer Science
(14)
Female
(12)
Male
(11)
Oncology
(11)
Computer Science, Theory & Methods
(10)
Business & Management
(9)
Business Strategy
(9)
Personnel & Human Resources Management
(9)
Physics
(9)
Radiology, Nuclear Medicine & Medical Imaging
(9)
Resilience
(9)
Engineering
(8)
Fault Tolerance
(8)
Hardware
(8)
Aged
(7)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

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

Modeling and Simulating Multiple Failure Masking Enabled by Local Recovery for Stencil-Based Applications at Extreme Scales

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

Influence and dynamic behavior in random boolean networks

Targeted modification of hardware trojans

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

Noncooperatively optimized tolerance: decentralized strategic optimization in complex systems

A Simulator for Large-Scale Parallel Computer Architectures

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

Field theory of the inverse cascade in two-dimensional turbulence

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Size-Dependent Energy of Ni Nanoparticles on Graphene Films on Ni(111) and Adhesion Energetics by Adsorption Calorimetry

Scalar filtered mass density functions in nonpremixed turbulent jet flames

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

Algorithmic Input Generation for More Effective Software Testing

Scalable Failure Masking for Stencil Computations using Ghost Region Expansion and Cell to Rank Remapping

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

Scaling of Huygens-front speedup in weakly random media

Enabling Resilience in Asynchronous Many-Task Programming Models

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

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

Enabling Resilience in Asynchronous Many-Task Programming Models

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

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)]

Suchergebnisse filtern