This paper compares the trace-sampling techniques of set sampling and time sampling. Using the multi-billion-reference traces of Borg et al., we apply both techniques to multi-megabyte caches, where sampling is most valuable. We evaluate whether either technique meets a 10% sampling goal: a method meets this goal if, at least 90% of the time, it estimates the trace’s true misses per instruction...

The development of deductive databases requires tools, in particular for de-bugging. Deductive databases manage large quantity of data and, in general, in a set-oriented way. The existing systems of explanation for deductive databases do not take these constraints into account. We propose a tracing technique which consists of integrating a "relational" trace and an instrumented meta-interpreter...

Very recently, the second author showed that the question whether an equation over a trace monoid has a solution or not is decid-able 11,12]. In the original proof this question is reduced to the solv-ability of word equations with constraints, by induction on the size of the commutation relation. In the present paper we give another proof of this result using lexicographical normal forms. Our ...

This paper discusses the application of TXRF for semiconductor process characterization. The depth profile of the analyte element plays a critical role in accurate determination by TXRF. In order to achieve reliable quantification, a method for preparing standard and crosscheck samples, named “Immersion in Alkaline Hydrogen Peroxide Solution (IAP),” is proposed. The method offers a good level o...

To prevent smart card attacks using Differential Power Analysis (DPA), manufacturers commonly implement DPA countermeasures that create misalignment in power trace sets and decrease the effectiveness of DPA. We design and investigate the elastic alignment algorithm for non-linearly warping trace sets in order to align them. Elastic alignment uses FastDTW, originally a method for aligning speech...

Epifaunal communities associated with macroalgae were exposed to storm water pulses using a custom made irrigation system. Treatments included Millipore freshwater, freshwater spiked with trace metals and seawater controls to allow for the relative importance of freshwater inundation, trace metals and increased flow to be determined. Experimental pulses created conditions similar to those that ...

Current rule base maintenance is wasting refinement and inference performance. There are only few maintenance concepts, which enjoy both (1) formal rule refinement and (2) utilizing topical knowledge provided by experts within the refinement process. The current state of the art in rule base validation and refinement reveals that there is no generic validation interface and no optimal rule trac...

Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...

This study was carried out for the purpose of investigating the issue of tailings dams as a potential source of contamination by trace elements in soils at the Sidi Bou Othmane mine in the Marrakech Region, Morocco. Soil samples taken from depths of up to 15 cm and within a radius of 50 m from the tailings dams, were analyzed for Cd, Cu, Pb and Zn using atomic absorption spectrometry. Average c...