within
Devesh Bhatt
English
Article
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...
Chapter
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...
Chapter and Conference Paper
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 ...
Article
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...
Chapter and Conference Paper
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 ...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Book and Conference Proceedings
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
Chapter and Conference Paper
Chapter
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 ...
