It is essential to understand the consumption pattern of food and how it changes over time to formulate sound economic policies as well as marketing and pricing strategies. In this study, we estimate the Quadratic Almost Ideal Demand System with six rounds of the Family Income Expenditure Survey exploiting the conditional linearity of the demand system. We find that the Filipino diet has become...

In our work we analyze computational aspects of the problem of numerical integration in finite element calculations and consider an OpenCL implementation of related algorithms for processors with wide vector registers. As a platform for testing the implementation we choose the PowerXCell processor, being an example of the Cell Broadband Engine (CellBE) architecture. Although the processor is co...

Value prediction (VP) is a relatively new technique that increases performance by eliminating true data dependency constraints. VP architectures allow data dependent instructions to issue and execute speculatively using the predicted value. This technique is built on the concept of value locality, which describes the likelihood of a previously seen value recurring within a storage location. The...

1. Introduction This paper presents the high-speed software en-cryption technique, " bit-slice implementation, " on Intel's new Core 2 processor, which is its first mi-cro-architecture platform. Until now, the performance of leading-edge processors has been evaluated and compared by implementing encryption algorithms and various benchmark tests. From the standpoint of en-cryption implementation...

We address the problem of verifying reachability in programs running under formal model Px86 defined recently by Raad et al. POPL'20 for persistent Intel x86 architecture. prove that this is decidable. To achieve that, we provide a new equivalent to and has feature being well structured system. Deriving result deep investigation properties interplay its components.

This article analyzes a previously overlooked attack surface that allows unprivileged adversaries to impact floating-point computations in enclaves through the Application Binary Interface (ABI). In comprehensive study across 7 industry-standard and research enclave shielding runtimes for Intel Software Guard Extensions (SGX), we show control state registers of x87 Floating-Point Unit (FPU) Str...

Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontrollers further reduce the controller circuit complexity so that a nanocontroller can be embedded with each of thousands to millions of sensors, actuators, or other devices on a single chip. This reduction in circuit complexity is ac...

This paper presents various improvements that were applied to OCamlJit2, a Just-In-Time compiler for the OCaml byte-code virtual machine. OCamlJit2 currently runs on various Unix-like systems with x86 or x86-64 processors. The improvements, including the new x86 port, are described in detail, and performance measures are given, including a direct comparison of OCamlJit2 to OCamlJit.