Search Results - Software and civil engineering Software notations and tools Compilers

SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems by Reymond, Hugo, Bechennec, Jean-Luc, Briday, Mikael, Faucou, Sebastien, Puaut, Isabelle, Rohou, Erven

“…Battery-free devices enable sensing in hard-to-access locations, opening up new opportunities in various fields such as healthcare, space, or civil engineering…”
Get full text

Investigating How Software Characteristics Impact the Effectiveness of Automated Software Fault Tolerance by James, Benjamin, Wirthlin, Michael, Goeders, Jeffrey

“…s. Recently, we published an automated compiler-based protection tool called COmpiler Assisted Software fault Tolerance (COAST…”
Get full text

Staged Computation: The Technique You Did Not Know You Were Using by Hinsen, Konrad, Hinsen, Konrad, Turk, Matthew

“…: It is the very use of compilers. A compiler transforms a program from one notation ("source code") to another notation…”
Get full text

Earthquake ground motion modeling on parallel computers by Bao, Hesheng, Bielak, Jacobo, Ghattas, Omar, Kallivokas, Loukas F., O'Hallaron, David R., Shewchuk, Jonathan R., Xu, Jifeng

“…We describe the design and discuss the performance of a parallel elastic wave propagation simulator that is being used to model and study earthquake-induced…”
Get full text

Seismic modeling at 14 gigaflops on the connection machine by Myczkowski, Jacek, Steele, Guy

“…Seismic modeling represents a difficult numerical challenge and consumes a significant amount of CPU time on the largest available supercomputers. With the…”
Get full text