Untreated and Fe (III)-treated pine needle biochar (PNB) were evaluated at different pH for the removal of toxic crystal violet (CV) dye from synthetic wastewaters. Adsorption kinetics followed the pseudo-firs...
Heavy metals are naturally present in earth’s crust, and some of them are essential to living organisms for carrying out life processes. Due to their high persistence and nonbiodegradable nature, heavy metal a...
In this paper, we present a novel approach that seamlessly integrates requirements-based testing and model checking. Given a set of functional requirements and properties, both generic attributes and application ...
The effects of different state variables (contact time, pH, concentration, ionic strength and temperature) were investigated on the adsorption of 4-nitrophenol (4-NP) onto goethite for its potential utilizatio...
Avionic systems involve complex time-dependent behaviors across interacting components. This paper presents a contract-based approach for formally verifying these behaviors in a compositional manner. A unique ...
We present an SMT solving based test generation approach for MATLAB Simulink designs, implemented in the HiLiTE tool developed by Honeywell for verification of avionic systems. The test requirements for a Simu...
Many engineering and application domains, including distributed real-time and embedded (DRE) systems, are increasingly employing a graphical model-based development approach. However, the full potential of thi...
The International Workshop on Embedded/Distributed HPC Systems and Applications (EHPC) is a forum for the presentation and discussion of approaches, research findings, and experiences in the applications of Hi...
11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings
In traditional design methodologies, the system designer typically develops the application in a sequential paradigm almost to completion before addressing issues of parallelism and map** to a heterogeneous ...