This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iy...
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
Hiroshi Okuda, Kengo Nakajima, Mikio Iizuka, Li Ch...
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
The cortex is the outermost thin layer of gray matter in the brain; geometric measurement of the cortex helps in understanding brain anatomy and function. In the quantitative analy...
Xiaolan Zeng, Lawrence H. Staib, Robert T. Schultz...