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 …
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
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 …
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 …
Research in Computer Science Evolving Algebras Mini-Course Yuri Gurevich Egon Börger …
SHAPES: a tiled scalable software hardware architecture platform for embedded systems
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 …
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
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 …
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
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 …
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 …
2+ 1 dimensions. It is a nonlinear stochastic differential equation that describes driven …
Massively parallel lattice-Boltzmann simulation of turbulent channel flow
High resolution lattice-Boltzmann simulations of turbulent channel flow on the Quadrics
parallel machine are presented. The parallel performance is discussed together with some …
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 …
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 …
because of their capability to achieve high compression ratios while maintaining very good …