Search results for "SVA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
149	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
142	Jiang Long, Andrew Seawright, Paparao Kavalipati	Multi-clock SVA synthesis without re-writing.	ASP-DAC	2009	DBLP DOI BibTeX RDF	SVA, multi-clock SVA assertions
130	Jung Ah Choi Lee, David C. Munson Jr.	Effectiveness of spatially-variant apodization.	ICIP	1995	DBLP DOI BibTeX RDF
112	Christian Dax, Felix Klaedtke, Martin Lange	On Regular Temporal Logics with Past, .	ICALP (2)	2009	DBLP DOI BibTeX RDF
93	Jung Ah Choi Lee, David C. Munson Jr.	Spatially variant apodization for image reconstruction from partial Fourier data.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
85	Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough	Instrumenting AMS assertion verification on commercial platforms.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion
66	Jiang Long, Andrew Seawright	Synthesizing SVA Local Variables for Formal Verification.	DAC	2007	DBLP DOI BibTeX RDF
56	Cindy Eisner, Dana Fisman	Structural Contradictions.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
56	C. F. Castillo-Rubio, S. Llorente-Romano, M. Burgos-Garcia	Spatially Variant Apodization for Squinted Synthetic Aperture Radar Images.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
56	Stuart R. DeGraaf	SAR imaging via modern 2-D spectral estimation methods.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
47	Szymon Nowakowski, Michal Drabikowski	Efficient Local Protein Structure Prediction.	RSKT	2007	DBLP DOI BibTeX RDF	SV method, SVA method, assessing predictions, model assessment, CASP 7, protein structure prediction, statistical significance
37	Xiaoming Chen 0003, Yu Wang 0002, Yu Cao 0001, Yuchun Ma, Huazhong Yang	Variation-aware supply voltage assignment for minimizing circuit degradation and leakage.	ISLPED	2009	DBLP DOI BibTeX RDF	dynamic vdd scaling, leakage power, negative bias temperature instability (NBTI), dual vdd
37	Doron Bustan, John Havlicek	Some Complexity Results for SystemVerilog Assertions.	CAV	2006	DBLP DOI BibTeX RDF
37	Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti 0001	Synthesis of system verilog assertions.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
37	Sinisa Todorovic, Michael C. Nechyba	Dynamic Trees for Unsupervised Segmentation and Matching of Image Regions.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	dynamic trees, image segmentation, object recognition, Bayesian networks, image matching, Generative models, variational inference
37	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
37	Brian Hendee Smith	Generalization of spatially variant apodization to noninteger Nyquist sampling rates.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
37	Carlos Veciana-Nogués, Jordi Domingo-Pascual	Adaptive Video on Demand Service on RSVP Capable Network.	ECMAST	1999	DBLP DOI BibTeX RDF
29	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	Temporal Antecedent Failure: Refining Vacuity.	CONCUR	2007	DBLP DOI BibTeX RDF	Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
28	Shuyi Liu, Yan Jia, Yongqing Liu, Limin Zhai, Xiangkun Zhang	A New BiRNN-SVA Method for Side Lobe Suppression.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
28	Lei Zhai, Shuyuan Yang, Yitong Li, Zhixi Feng, Zhihao Chang, Quanwei Gao	Harnessing the Power of SVD: An SVA Module for Enhanced Signal Classification.	AAAI	2024	DBLP DOI BibTeX RDF
28	Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li 0031, Zhilin Wu, David N. Jansen, Lijun Zhang 0001	CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).	SEFM	2022	DBLP DOI BibTeX RDF
28	Ahmed I. Shahin, Sultan Almotairi	SVA-SSD: saliency visual attention single shot detector for building detection in low contrast high-resolution satellite images.	PeerJ Comput. Sci.	2021	DBLP DOI BibTeX RDF
28	Nathan Lawlor, Eladio J. Márquez, Donghyung Lee, Duygu Ucar	V-SVA: an R Shiny application for detecting and annotating hidden sources of variation in single-cell RNA-seq data.	Bioinform.	2020	DBLP DOI BibTeX RDF
28	Mohsen Alizadeh, Mazlan Hashim, Esmaeil Alizadeh, Himan Shahabi, Mohammad Reza Karami, Amin Beiranvand Pour, Biswajeet Pradhan, Hassan Zabihi	Multi-Criteria Decision Making (MCDM) Model for Seismic Vulnerability Assessment (SVA) of Urban Residential Buildings.	ISPRS Int. J. Geo Inf.	2018	DBLP DOI BibTeX RDF
28	Min Liu 0010, Zhou Li 0002, Lu Liu 0010	A Novel Sidelobe Reduction Algorithm Based on Two-Dimensional Sidelobe Correction Using D-SVA for Squint SAR Images.	Sensors	2018	DBLP DOI BibTeX RDF
28	Priscille de Dumast, Clément Mirabel, Beatriz Paniagua, Marilia Yatabe, Antonio C. Ruellas, Nina Tubau, Martin Styner, Lucia H. S. Cevidanes, Juan-Carlos Prieto	SVA: shape variation analyzer.	Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging	2018	DBLP DOI BibTeX RDF
28	Shishir Kolathaya, Benjamin J. Morris, Ryan W. Sinnet, Aaron D. Ames	System Identification and Control through Efficient SVA Based Regressor Computation.	CoRR	2016	DBLP BibTeX RDF
28	Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi	Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats.	HLDVT	2016	DBLP DOI BibTeX RDF
28	Nurita Mohamad, Chia Yee Ooi, Nordinah Bt Ismail, Jwing Teh	SVA checker generator for FPGA-based verification platform.	ISCAS	2016	DBLP DOI BibTeX RDF
28	Tao Xiong, Shuang Wang 0001, Biao Hou, Yong Wang 0011, Hongying Liu	A Resample-Based SVA Algorithm for Sidelobe Reduction of SAR/ISAR Imagery With Noninteger Nyquist Sampling Rate.	IEEE Trans. Geosci. Remote. Sens.	2015	DBLP DOI BibTeX RDF
28	Santiago Pagani, Jian-Jia Chen, Jörg Henkel	Energy and Peak Power Efficiency Analysis for the Single Voltage Approximation (SVA) Scheme.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2015	DBLP DOI BibTeX RDF
28	Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi	A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML.	MTV	2014	DBLP DOI BibTeX RDF
28	Moshe Y. Vardi	From Löwenheim to PSL and SVA.	Language, Culture, Computation (1)	2014	DBLP DOI BibTeX RDF
28	Rubén Iglésias, Jordi J. Mallorquí	Side-Lobe Cancelation in DInSAR Pixel Selection With SVA.	IEEE Geosci. Remote. Sens. Lett.	2013	DBLP DOI BibTeX RDF
28	Roy Armoni, Dana Fisman, Naiyong Jin	SVA and PSL Local Variables - A Practical Approach.	CAV	2013	DBLP DOI BibTeX RDF
28	Jeffrey T. Leek, W. Evan Johnson, Hilary S. Parker, Andrew E. Jaffe, John D. Storey	The sva package for removing batch effects and other unwanted variation in high-throughput experiments.	Bioinform.	2012	DBLP DOI BibTeX RDF
28	Sutirtha Chakraborty, Somnath Datta, Susmita Datta	Surrogate variable analysis using partial least squares (SVA-PLS) in gene expression studies.	Bioinform.	2012	DBLP DOI BibTeX RDF
28	Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang 0006	SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience.	IEEE Des. Test Comput.	2012	DBLP DOI BibTeX RDF
28	Dongliang Ge, Elizabeth K. Ruzzo, Kevin V. Shianna, Min He, Kimberly Pelak, Erin L. Heinzen, Anna C. Need, Elizabeth T. Cirulli, Jessica M. Maia, Samuel P. Dickson, Mingfu Zhu, Abanish Singh, Andrew S. Allen, David B. Goldstein	SVA: software for annotating and visualizing sequenced human genomes.	Bioinform.	2011	DBLP DOI BibTeX RDF
28	Byoung-Gyun Lim, Jae-Choon Woo, Young-Soo Kim	Noniterative Super-Resolution Technique Combining SVA With Modified Geometric Mean Filter.	IEEE Geosci. Remote. Sens. Lett.	2010	DBLP DOI BibTeX RDF
28	Ashvin Dsouza	Static analysis of deadends in SVA constraints.	HLDVT	2010	DBLP DOI BibTeX RDF
28	Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham	Assume-guarantee validation for STE properties within an SVA environment.	FMCAD	2009	DBLP DOI BibTeX RDF
28	Ferdaous Chaabane, Mohamed Sellami, Jean-Marie Nicolas 0002, Florence Tupin	InSAR Permanent Scatterers Selection using SAR SVA Filtering.	IGARSS (5)	2009	DBLP DOI BibTeX RDF
28	Yunhua Zhang, Xiang Gu, Wenshuai Zhai, Jingshan Jiang	Layered Subsurface Radar Profiling with Combined ESPRIT and SVA Algorithms.	IGARSS (4)	2008	DBLP DOI BibTeX RDF
28	Jaime Leonel de Paula Junior	Realização de serviços de valor adicionado (SVA) com liquidação financeira integrada.		2004	RDF
28	Xiaojian Xu 0001, Ram M. Narayanan	Enhanced resolution in 3-D interferometric ISAR imaging using an iterative SVA procedure.	IGARSS	2003	DBLP DOI BibTeX RDF
19	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
19	Grant Martin	Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)].	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
19	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
19	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
19	Xiaojian Xu 0001, Ram M. Narayanan	Enhanced resolution in SAR/ISAR imaging using iterative sidelobe apodization.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
19	Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma	Supporting sequential assumptions in hybrid verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001	The BUSpec platform for automated generation of verification aids for standard bus protocols.	MEMOCODE	2004	DBLP DOI BibTeX RDF
19	Sinisa Todorovic, Michael C. Nechyba	Detection of Artificial Structures in Natural-Scene Images Using Dynamic Trees.	ICPR (1)	2004	DBLP DOI BibTeX RDF
19	Qing Wu, Zhaohui Wu 0001, Bin Wu, Zhou Jiang	Semantic and Adaptive Middleware for Data Management in Smart Vehicle Space.	WAIM	2004	DBLP DOI BibTeX RDF