The abstract state machines method for high-level system design and analysis

E Börger - Formal Methods: State of the Art and New Directions, 2009 - Springer
We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

The “cubed sphere”: A new method for the solution of partial differential equations in spherical geometry

C Ronchi, R Iacono, PS Paolucci - Journal of computational physics, 1996 - Elsevier
A new gridding technique for the solution of partial differential equations in spherical
geometry is presented. The method is based on a decomposition of the sphere into six …

[PDF][PDF] Evolving algebras

Y Gurevich - A tutorial introduction. EATCS Bulletin, 1991 - researchgate.net
Evolving algebras B R IC S N S -95-4 G u revich & B orger: E volvin g A lgeb ras BRICS Basic
Research in Computer Science Evolving Algebras Mini-Course Yuri Gurevich Egon Börger …

SHAPES: a tiled scalable software hardware architecture platform for embedded systems

PS Paolucci, AA Jerraya, R Leupers, L Thiele… - Proceedings of the 4th …, 2006 - dl.acm.org
Nanoscale systems on chip will integrate billion-gate designs. The challenge is to find a
scalable HW/SW design style for future CMOS technologies. Tiled architectures suggest a …

Turbulent channel flow simulations using a coarse-grained extension of the lattice Boltzmann method

G Amati, S Succi, R Benzi - Fluid Dynamics Research, 1997 - Elsevier
A coarse-grained version of the lattice Boltzmann (LB) method is developed with the intent of
enhancing its geometrical flexibility so as to be able to tackle a wider class of flows of …

Human exposure to the near field of radiobase antennas-a full-wave solution using parallel FDTD

L Catarinucci, P Palazzari… - IEEE Transactions on …, 2003 - ieeexplore.ieee.org
The problem of human exposure to the near field of radiobase antennas is a complex and
challenging task. A numerical full-wave solution is highly recommended because of the …

Numerical simulation of the Kardar-Parisi-Zhang equation

M Beccaria, G Curci - Physical Review E, 1994 - APS
Abstract We simulate the Kardar-Parisi-Zhang equation [Phys. Rev. Lett. 56, 889 (1986)] in
2+ 1 dimensions. It is a nonlinear stochastic differential equation that describes driven …

Massively parallel lattice-Boltzmann simulation of turbulent channel flow

G Amati, S Succi, R Piva - International Journal of Modern Physics …, 1997 - World Scientific
High resolution lattice-Boltzmann simulations of turbulent channel flow on the Quadrics
parallel machine are presented. The parallel performance is discussed together with some …

Computing for LQCD: apeNEXT

F Belletti, SF Schifano, R Tripiccione… - … in Science & …, 2005 - ieeexplore.ieee.org
apeNEXT is the latest in the APE collaboration's series of parallel computers for
computationally intensive calculations such as quantum chromo dynamics on the lattice. The …

Massively parallel processing approach to fractal image compression with near-optimal coefficient quantization

P Palazzari, M Coli, G Lulli - Journal of systems architecture, 1999 - Elsevier
In recent years Image Fractal Compression techniques (IFS) have gained more interest
because of their capability to achieve high compression ratios while maintaining very good …