Sage Journals: Discover world-class research

Open access

Research article

First published 2025-5

Performance enhancement of the Ozaki Scheme on integer matrix multiplication unit

Yuki Uchino, Katsuhisa Ozaki, Toshiyuki Imamura

The International Journal of High Performance Computing Applications

Retricted access

Other

First published 1968-07

Fixed point versus floating point

Leonard H. Teitelbaum

SIMULATION

Retricted access

Research article

First published 2019

A Modal Logic of a Truth Definition for Finite Models *

Marek Czarnecki, Konrad Zdanowski

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 1981-07

Interactive simulation with direct - executing language systems

Granino A. Korn

SIMULATION

Retricted access

Research article

First published 2000-7

Vibrotactile Displays for Improving Spatial Awareness

Anil K. Raj, Steven J. Kass, James F. Perry

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2019-1

Novel ISS criteria for digital filters using generalized overflow non-linearities and external interference

Mani Kant Kumar, Priyanka Kokil, Haranath Kar

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1988-7

Effects of Noise,Time-Domain Damping,Zero-Filling and the FFT Algorithm on the “Exact” Interpolation of Fast Fourier Transform Spectra

Francis R. Verdun, Carlo Giancaspro, Alan G. Marshall

Applied Spectroscopy

Open access

Research article

First published 2023-3

Compressed basis GMRES on high-performance graphics processing units

José I Aliaga, Hartwig Anzt, Thomas Grützmacher [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2022-5

Pseudo-random number generation based on digit isolation referenced to entropy buffers

Joseph D Richardson

SIMULATION

Search results