400 results on '"Tahar, Sofiene"'
Search Results
152. Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects
153. Discriminating Chaos from Non-Gaussian Noise on Analog Circuits
154. Comparative Study of Approximate Multipliers
155. Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques
156. Formalization of Birth-Death and IID processes in higher-order logic
157. Enhancing analog yield optimization for variation-aware circuits sizing
158. Formal verification of energy consumption for an EEG monitoring wireless body area sensor network
159. Performance of Various Multistage Interference Cancellation Schemes for Asynchronous QPSK/DS/CDMA over Multipath Rayleigh Fading Channels
160. Cross recurrence verification technique for process variation-resilient analog circuits
161. Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation
162. Machine Learning Techniques for Defect Depth Estimation in Oil and Gas Pipelines
163. ATLAS: An AdapTive faiLure-Aware Scheduler for Hadoop
164. Tuning framework for stencil computation in heterogeneous parallel platforms
165. An adaptive neuro-fuzzy inference system-based approach for oil and gas pipeline defect depth estimation
166. Formal reliability analysis of wireless sensor network data transport protocols using HOL
167. A Machine Learning Approach for Big Data in Oil and Gas Pipelines
168. Predicting Scheduling Failures in the Cloud: A Case Study with Google Clusters and Hadoop on Amazon EMR
169. Self-Organizing Map-Based Feature Visualization and Selection for Defect Depth Estimation in Oil and Gas Pipelines
170. A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs
171. Formal modeling and verification of integrated photonic systems
172. JCHARMING: A bug reproduction approach using crash traces and directed model checking
173. Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries
174. 10271 Abstracts Collection ��� Verification over discrete-continuous boundaries
175. A survey on the application of Neural Networks in the safety assessment of oil and gas pipelines
176. Formal Specification and Verification of the Intrusion--Tolerant Encalves Protocol
177. Towards ray optics formalization of optical imaging systems
178. Enablingy the DC solutions characterization using a fuzzy approach
179. Towards the formal verification of optical interconnects
180. A semi-formal approach for analog circuits behavioral properties verification
181. Generation of reduced analog circuit models using transient simulation traces
182. Performance evaluation of time and frequency domain equalizers
183. Real time verification of firewalls with dynamic rulebase update
184. Towards the formal analysis of microresonators based photonic systems
185. Reliability Analysis Of Oil And Gas Pipelines
186. Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation
187. Towards enhancing analog circuits sizing using SMT-based techniques.
188. 10271 Abstracts Collection – Verification over discrete-continuous boundaries
189. Towards the Formal Performance Analysis of Wireless Sensor Networks
190. Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM.
191. Towards the formal analysis of microresonators based photonic systems.
192. Formal error analysis and verification of a frequency domain equalizer
193. Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs
194. Using LCSS algorithm for circuit level verification of analog designs
195. Welcome to ICCD 2011!
196. Welcome to ICCD 2010!
197. On the accurate reliability analysis of combinational circuits using theorem proving
198. Formal Reliability Analysis Using Theorem Proving
199. Performance analysis of real-time rewriting models
200. Formal verification of analog circuits in the presence of noise and process variation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.