In this thesis we describe the formal verification of a fully IEEE compliant floating point unit (FPU). The hardware is verified on the gate-level against a formalization of the IEEE standard. The verification is performed using the theorem proving system PVS. The FPU supports both single and double precision floating point numbers, normal and denormal numbers, all four IEEE rounding modes, and...

Orbital and asymptotic stability for 1-soliton solutions to the Toda lattice equations as well as small solitary waves to the FPU lattice equations are established in the energy space. Unlike analogous Hamiltonian PDEs, the lattice equations do not conserve momentum. Furthermore, the Toda lattice equation is a bidirectional model that does not fit in with existing theory for Hamiltonian system ...

The pioneering computer simulations of the energy relaxation mechanisms performed by Fermi, Pasta, and Ulam (FPU) can be considered as the first attempt of understanding energy relaxation and thus heat conduction in lattices of nonlinear oscillators. In this paper we describe the most recent achievements about the divergence of heat conductivity with the system size in one-dimensional (1D) and ...

Instabilities are common phenomena frequently observed in nature, sometimes leading to unexpected catastrophes and disasters in seemingly normal conditions. One prominent form of instability in a distributed system is its response to a harmonic modulation. Such instability has special names in various branches of physics and is generally known as modulation instability (MI). The MI leads to a g...

Corn stover was pretreated with an excess of calcium hydroxide (0.5 g Ca(OH)2/g raw biomass) in non-oxidative and oxidative conditions at 25, 35, 45, and 55 degrees C. The optimal condition is 55 degrees C for 4 weeks with aeration. Glucan (91.3%) and xylan (51.8%) were converted to glucose and xylose respectively, when the treated corn stover was enzymatically hydrolyzed with 15 FPU/g cellulos...

The Data-Intensive Architecture (DIVA) system incorporates Processing-In-Memory (PIM) chips as smart-memory coprocessors to a microprocessor. This architecture exploits inherent memory bandwidth both on chip and across the system to target several classes of bandwidth-limited applications. A key capability of this architecture is the support of parallel single-precision floating-point operation...

The Arithmetic Logic Unit is responsible for carrying all the computation problems in computer systems. ALU denotes such operations as subtraction, multiplication and division. Similar to ALU is the floating point unit (FPU) which performs operations based on the floating point numbers. Computer speed or performance depends on the approach adopted on the microprocessors that are normally associ...

In their celebrated experiment, Fermi, Pasta, and Ulam (FPU) [Los Alamos Report No. LA-1940, 1955] observed that in simple one-dimensional nonlinear atomic chains the energy must not always be equally shared among the modes. Recently, it was shown that exact and stable time-periodic orbits, coined q-breathers (QBs), localize the mode energy in normal mode space in an exponential way, and accoun...