CIL: Intermediate language and tools for analysis and transformation of C programs
… The library includes transformers that can ensure most of the properties that are part of CIL’s
… In addition, compared to SUIF’s C output, CIL’s external representation is usually closer to …
… In addition, compared to SUIF’s C output, CIL’s external representation is usually closer to …
[PDF][PDF] Comprehensive review: Murraya koenigii Linn
S Ajay, S Rahul, G Sumit, M Paras… - Asian J Pharm …, 2011 - doc-developpement-durable.org
Plants have been used in traditional medicine for several thousand years. India is perhaps
the largest producer of medicinal herbs and is rightly called the “Botanical garden of the World…
the largest producer of medicinal herbs and is rightly called the “Botanical garden of the World…
Biological and molecular characterization of chicken anaemia virus isolates of Indian origin
S Natesan, JM Kataria, K Dhama, S Rahul… - Virus research, 2006 - Elsevier
In the present study, four chicken anaemia virus (CAV) isolates (CAV-A, -B, -E and -P)
recovered from different geographical regions of India were characterized. CAV genome of …
recovered from different geographical regions of India were characterized. CAV genome of …
In vitro antiparasitic activity of microbial pigments and their combination with phytosynthesized metal nanoparticles
S Rahul, P Chandrashekhar, B Hemant… - Parasitology …, 2015 - Elsevier
… The microbial culture of S. nematodophila was deposited at culture collection of North
Maharashtra University, Jalgaon (NMCC). The cultures were further maintained on nutrient agar at …
Maharashtra University, Jalgaon (NMCC). The cultures were further maintained on nutrient agar at …
[PDF][PDF] Trypanosoma evansi in camels, donkeys and dogs in India: comparison of PCR and light microscopy for detection—short communication
…, KML Pathak, N Babu, CC Satheesh, S Rahul - Veterinarski …, 2008 - vetarhiv.vef.unizg.hr
The objective of the present study was to compare two methods: PCR and blood smear
examination for sensitive and specific detection of trypanosoma evansi in camels, donkeys and …
examination for sensitive and specific detection of trypanosoma evansi in camels, donkeys and …
An integrated congestion management architecture for Internet hosts
This paper presents a novel framework for managing network congestion from an end-to-end
perspective. Our work is motivated by trends in traffic patterns that threaten the long-term …
perspective. Our work is motivated by trends in traffic patterns that threaten the long-term …
Oracle-based checking of untrusted software
GC Necula, SP Rahul - ACM SIGPLAN Notices, 2001 - dl.acm.org
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are
represented as a higherorder logic program, the proof checker is replaced by a …
represented as a higherorder logic program, the proof checker is replaced by a …
JMB: Scaling wireless capacity with user demands
… Our results also demonstrate that JMB’s joint multi-user beamforming can provide … In
summary, the core challenge met by JMB’s design is to accurately estimate and track the phase …
summary, the core challenge met by JMB’s design is to accurately estimate and track the phase …
Nanoscale chemical patterning of graphite at different length scales
S Rahul, MCR González, S Hirose, H Kaneko… - Nanoscale, 2023 - pubs.rsc.org
Chemical patterning surfaces is relevant in several different domains of science and
technology with exciting possibilities in electronics, catalysis, sensing, and photonics. Here, we …
technology with exciting possibilities in electronics, catalysis, sensing, and photonics. Here, we …
Latent heat flux variability over the tropical Indian Ocean
… Climatologically high LHF is mostly confined to the Arabian Sea and Bay of Bengal regions
in the north Indian Ocean and the zonal belt between 10 o S and 25 o S in the south Indian …
in the north Indian Ocean and the zonal belt between 10 o S and 25 o S in the south Indian …