Search results for "SCL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Daqing Hou, H. James Hoover	Using SCL to Specify and Check Design Intent in Source Code.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	structural constraints, SCL, program analysis, object-oriented software, Design intent, FCL
107	Daqing Hou	Using Structural Constraints to Specify and Check Design Intent in Source Code - Ph.D. Dissertation Synopsis.	ICSM	2006	DBLP DOI BibTeX RDF
107	Naran Sirisantana, Kaushik Roy 0001	Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies.	DATE	2003	DBLP DOI BibTeX RDF
93	Armin Tajalli, Frank K. Gürkaynak, Yusuf Leblebici, Massimo Alioto, Elizabeth J. Brauer	Improving the power-delay product in SCL circuits using source follower output stage.	ISCAS	2008	DBLP DOI BibTeX RDF
93	Luc Fabresse, Christophe Dony, Marianne Huchard	Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in Smalltalk.	ISC	2006	DBLP DOI BibTeX RDF	unanticipated composition, component property, connector, component-oriented programming
89	Artem Vorobiev, Jun Han 0004	Specifying Dynamic Security Properties of Web Service Based Systems.	SKG	2006	DBLP DOI BibTeX RDF
81	Zhihong Huo, Limin Zhang, Zhixue Zhang	Research on Graphics Model Design for IEC61850 SCL Visual Configuration.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	Intelligent Electronic Device (IED), Substation Configuration description Language (SCL), SCL Visual Designer, Extensible Markup Language (XML), Model View Controller (MVC)
75	Sylvain Marquis, Thomas R. Dean, Scott Knight	SCL: a language for security testing of network applications.	CASCON	2005	DBLP BibTeX RDF
71	Xiangfu Zhao, Dantong Ouyang	On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.	RAM	2008	DBLP DOI BibTeX RDF
71	Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyama	Multiple-Valued Dynamic Source-Coupled Logic.	ISMVL	2003	DBLP DOI BibTeX RDF
58	Massimo Alioto, Gaetano Palumbo	Design of MUX, XOR and D-latch SCL gates.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
58	Massimo Alioto, Gaetano Palumbo	Power-delay trade-offs in SCL gates.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
53	Janardhana Punuru, Jianhua Chen 0003	Learning for Semantic Classification of Conceptual Terms.	GrC	2007	DBLP DOI BibTeX RDF	Concept classification, Naive Bayes Classi- fier, Text Mining
53	Fabio Baroncelli, Barbara Martini, Luca Valcarenghi, Piero Castoldi	A Service Composition Model for Automatically Switched Transport Networks.	ICNS	2006	DBLP DOI BibTeX RDF	ASTN, Services Composition Model, Grid Services, Ontology Language
53	Jaehyuk Huh 0001, Jichuan Chang, Doug Burger, Gurindar S. Sohi	Coherence decoupling: making use of incoherence.	ASPLOS	2004	DBLP DOI BibTeX RDF	coherence decoupling, coherence misses, speculative cache lookup, false sharing
44	Hendrik Leidinger, Christoph Weidenbach	SCL(EQ): SCL for First-Order Logic with Equality.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
44	Hendrik Leidinger, Christoph Weidenbach	SCL(EQ): SCL for First-Order Logic with Equality.	CoRR	2022	DBLP DOI BibTeX RDF
44	Hendrik Leidinger, Christoph Weidenbach	SCL(EQ): SCL for First-Order Logic with Equality.	IJCAR	2022	DBLP DOI BibTeX RDF
40	Nilanjan Banerjee, Koustuv Dasgupta, Lee Longmore, Sougata Mukherjea, Li Na Ren, Jia Jia Wen	Service control layer (SCL): enabling rule-based control and enrichment in next-generation telecom service delivery.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	service control, web 2.0, mashups, IMS, service delivery
36	Pranav Dayal, Mahesh K. Varanasi	Distributed QAM-Based Space-Time Block Codes for Efficient Cooperative Multiple-Access Communication.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
36	Jia Jia Wen, Li Na Ren, Lee Longmore, Qi Yu	Applying aspect oriented service control in IMS network.	NOMS	2008	DBLP DOI BibTeX RDF
36	Massimo Alioto, Gaetano Palumbo	Modeling Propagation Delay of MUX, XOR, and D-Latch Source-Coupled Logic Gates.	PATMOS	2002	DBLP DOI BibTeX RDF
36	Ana Isabel González, Manuel Graña, Marie Cottrell	Basic Competitive Neural Networks as Adaptive Mechanisms for Non-Stationary Colour Quantisation.	Neural Comput. Appl.	1999	DBLP DOI BibTeX RDF
30	Osman Musa Abdulkarim, Maitham Shams	A symmetric mos current-mode logic universal gate for high speed applications.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	MCML, SCL, VLSI, ASIC
22	Xin-Yu Shih, Yu-Chen Lee, Geng-Hong Li, Jia-Han Xie	High-Area-Efficiency Polar Decoder Chip Architecture Reconfiguring SCL-Decoding With Reconfigurable Pipelined Sorter and SCF-Decoding With Non-Uniform 4-Segment CRC.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
22	Wenhao Chen, Jinjun Cheng, Changyu Wu, Li Chen 0013, Huazi Zhang	BCH Based U-UV Codes and Its SCL Decoding.	IEEE Trans. Signal Process.	2024	DBLP DOI BibTeX RDF
22	Kshitiza Vasudeva, Akshat Dubey, Saravanan Chandran	SCL-FExR: supervised contrastive learning approach for facial expression Recognition.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
22	Dongyun Kam, Byeong Yong Kong, Youngjoo Lee	Low-Latency SCL Polar Decoder Architecture Using Overlapped Pruning Operations.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
22	Mingjing Tang, Shu Zhang, Ming Zheng, Zifei Ma, Wei Gao	SCL-SKG: software knowledge extraction with span-level contrastive learning.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
22	Wei Zhang	A Novel SCL Bit-Flipping Decoding Of Polarization-Adjusted Convolutional (PAC) Codes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Peng Wang, Haiming Yao, Wenyong Yu	SCL-VI: Self-supervised Context Learning for Visual Inspection of Industrial Defects.	CoRR	2023	DBLP DOI BibTeX RDF
22	Martin Bromberger, Chaahat Jain, Christoph Weidenbach	SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.	CoRR	2023	DBLP DOI BibTeX RDF
22	Wei Zhang, Xiaofu Wu	Low-Latency SCL Bit-Flipping Decoding of Polar Codes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Martin Bromberger, Simon Schwarz, Christoph Weidenbach	SCL(FOL) Revisited.	CoRR	2023	DBLP DOI BibTeX RDF
22	Yansong Lv, Hang Yin, Zhanxin Yang	Parity-check-aided Dynamic SCL-Flip Decoder with A Simplified Flip Metric for Polar Codes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Huifang Feng 0002, Lingfei Ma, Yongtao Yu, Yiping Chen, Jonathan Li 0001	SCL-GCN: Stratified Contrastive Learning Graph Convolution Network for pavement crack detection from mobile LiDAR point clouds.	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
22	Saurabh Sharma, Shikhar Singh Lodhi, Joydeep Chandra	SCL-IKD: intermediate knowledge distillation via supervised contrastive representation learning.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
22	Mao-Ching Chiu, Yi-Sheng Su	Design of Polar Codes and PAC Codes for SCL Decoding.	IEEE Trans. Commun.	2023	DBLP DOI BibTeX RDF
22	Martin Desharnais	A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
22	Meng Wang 0029, Huiyan Jiang, Tianyu Shi, Yu-Dong Yao	SCL-Net: Structured Collaborative Learning for PET/CT Based Tumor Segmentation.	IEEE J. Biomed. Health Informatics	2023	DBLP DOI BibTeX RDF
22	Duc Le, Sang Truong, Patel Brijesh, Donald A. Adjeroh, Ngan Le	sCL-ST: Supervised Contrastive Learning With Semantic Transformations for Multiple Lead ECG Arrhythmia Classification.	IEEE J. Biomed. Health Informatics	2023	DBLP DOI BibTeX RDF
22	Jit Yan Lim, Kian-Ming Lim, Chin-Poo Lee, Yong Xuan Tan	SCL: Self-supervised contrastive learning for few-shot image classification.	Neural Networks	2023	DBLP DOI BibTeX RDF
22	Yan Ding, Xiaoxin Liang, Yuepeng Yan, Xiao Wang	Design and comprehensive analysis of a novel structure of ARCL-to-SCL GSG transition for millimeter wave applications.	IEICE Electron. Express	2023	DBLP DOI BibTeX RDF
22	Yaoyue Hu, Zhiwen Pan, Xiaobei Liu, Yong Liang Guan 0001, Xiaohu You 0001	Sliding Window Soft-SCL Decoders for Asynchronous Polar-Coded Modulation.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
22	Martin Bromberger, Simon Schwarz, Christoph Weidenbach	Exploring Partial Models with SCL.	LPAR	2023	DBLP DOI BibTeX RDF
22	Wei Zhang, Xiaofu Wu	Low-Latency SCL Bit-Flipping Decoding of Polar Codes.	ICC	2023	DBLP DOI BibTeX RDF
22	Shunfu Zhong, Kai Niu 0001, Chao Dong, Hongji Cui	Hybrid SC-SCL Decoder for Polar Codes with Low Latency.	ICCT	2023	DBLP DOI BibTeX RDF
22	Murad Abdullah, Wai Ho Mow	New Search for Optimized PAC Codes Under SCL Decoding.	GLOBECOM (Workshops)	2023	DBLP DOI BibTeX RDF
22	Xianbin Wang 0003, Huazi Zhang, Jiajie Tong, Jun Wang 0062, Jianglei Ma, Wen Tong	Perturbation-Enhanced SCL Decoder for Polar Codes.	GLOBECOM (Workshops)	2023	DBLP DOI BibTeX RDF
22	Xuanyu Li, Kai Niu 0001, Jincheng Dai, Zhiyuan Tan 0004, Zhiheng Guo	SCL-GRAND: Lower complexity and better flexibility for CRC-Polar Codes.	WCNC	2023	DBLP DOI BibTeX RDF
22	Martin Bromberger, Chaahat Jain, Christoph Weidenbach	SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.	CADE	2023	DBLP DOI BibTeX RDF
22	Martin Bromberger, Martin Desharnais, Christoph Weidenbach	An Isabelle/HOL Formalization of the SCL(FOL) Calculus.	CADE	2023	DBLP DOI BibTeX RDF
22	Wenhao Chen, Li Chen, Huazi Zhang	Reduced Complexity SCL Decoding of U-UV Codes Through List Pruning.	ICCC Workshops	2023	DBLP DOI BibTeX RDF
22	Longjian Ye, Xiongfei Zhai, Zifeng Zeng, Guojun Han	High-Throughput Polar Code SCL Decoding with Dynamically Configurable Pipeline Architecture.	ICCC	2023	DBLP DOI BibTeX RDF
22	Juan Wen, Liting Gao, Guangying Fan, Ziwei Zhang, Jianghao Jia, Yiming Xue	SCL-Stega: Exploring Advanced Objective in Linguistic Steganalysis using Contrastive Learning.	IH&MMSec	2023	DBLP DOI BibTeX RDF
22	Shivam Nigam, Mukund Murali, Hari Shanker Gupta, Saurabh Saxena	A 105-525MHz Integer-N Phase-Locked Loop in Indigenous SCL 180nm CMOS.	VLSID	2023	DBLP DOI BibTeX RDF
22	Emiliano Versini, Lauro Snidaro, Alessandro Liani	SCL - Segmentation-Classification combined Loss for surface defect detection.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
22	Xiaomin Li, Daqian Shi, Xiaolei Diao, Hao Xu 0012	SCL-MLNet: Boosting Few-Shot Remote Sensing Scene Classification via Self-Supervised Contrastive Learning.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
22	Ting Lu 0002, Yaochen Hu 0002, Wei Fu 0003, Kexing Ding, Beifang Bai, Leyuan Fang	SCL-Net: An End-to-End Supervised Contrastive Learning Network for Hyperspectral Image Classification.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
22	Yifei Shen, Alexios Balatsoukas-Stimming, Xiaohu You 0001, Chuan Zhang 0001, Andreas Peter Burg	Dynamic SCL Decoder With Path-Flipping for 5G Polar Codes.	IEEE Wirel. Commun. Lett.	2022	DBLP DOI BibTeX RDF
22	Shuzheng Si, Shuang Zeng, Jiaxing Lin, Baobao Chang	SCL-RAI: Span-based Contrastive Learning with Retrieval Augmented Inference for Unlabeled Entity Problem in NER.	CoRR	2022	DBLP DOI BibTeX RDF
22	Yaoyu Tao, Cedric Choi	High-Throughput Split-Tree Architecture for Nonbinary SCL Polar Decoder.	CoRR	2022	DBLP BibTeX RDF
22	Mario Almagro, David Jiménez, Diego Ortego, Emilio J. Almazán, Eva Martínez	Block-SCL: Blocking Matters for Supervised Contrastive Learning in Product Matching.	CoRR	2022	DBLP DOI BibTeX RDF
22	Kaiyuan Chen, Alexander Thomas, Hanming Lu, William Mullen, Jeffrey Ichnowski, Rahul Arya, Nivedha Krishnakumar, Ryan Teoh, Willis Wang, Anthony D. Joseph, John Kubiatowicz	SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas.	CoRR	2022	DBLP DOI BibTeX RDF
22	Shenggeng Lin, Weizhi Chen, Gengwang Chen, Songchi Zhou, Dong-Qing Wei, Yi Xiong	MDDI-SCL: predicting multi-type drug-drug interactions via supervised contrastive learning.	J. Cheminformatics	2022	DBLP DOI BibTeX RDF
22	Martin Bromberger, Simon Schwarz, Christoph Weidenbach	Exploring Partial Models with SCL.	PAAR@IJCAR	2022	DBLP BibTeX RDF
22	Jiange Liu, Xin Dai, Hongwu Ge, Liyuan An, Wei Zhang	On the SCL Decoding of Polar Codes in Power Line Communications.	ICIS	2022	DBLP DOI BibTeX RDF
22	Samet Gelincik, Philippe Mary, Jean-Yves Baudais, Anne Savard	Achieving PAC Code Performance with SCL Decoding without Extra Computational Complexity.	ICC	2022	DBLP DOI BibTeX RDF
22	Dongyun Kam, Byeong Yong Kong, Youngjoo Lee	A 1.1μs 1.56Gb/s/mm2 Cost-Efficient Large-List SCL Polar Decoder Using Fully-Reusable LLR Buffers in 28nm CMOS Technology.	VLSI Technology and Circuits	2022	DBLP DOI BibTeX RDF
22	Shuzheng Si, Shuang Zeng, Jiaxing Lin, Baobao Chang	SCL-RAI: Span-based Contrastive Learning with Retrieval Augmented Inference for Unlabeled Entity Problem in NER.	COLING	2022	DBLP BibTeX RDF
22	Yaoyu Tao, Cedric Choi	High-Throughput Split-Tree Architecture for Nonbinary SCL Polar Decoder.	ISCAS	2022	DBLP DOI BibTeX RDF
22	Yiling Peng, Huihui Wu, Pingping Chen, Lin Wang 0003	Simplified Path Split Strategy for SCL Decoding Algorithm with Lower Latency.	WTS	2022	DBLP DOI BibTeX RDF
22	Xiyue Wang, Jinxi Xiang, Jun Zhang 0018, Sen Yang, Zhongyi Yang, Ming-Hui Wang, Jing Zhang, Wei Yang 0032, Junzhou Huang, Xiao Han 0011	SCL-WC: Cross-Slide Contrastive Learning for Weakly-Supervised Whole-Slide Image Classification.	NeurIPS	2022	DBLP BibTeX RDF
22	Yunfei Tai, Kezhen Li, Liang Zhou 0003, Shu Liu 0004, Xilin Zhang	An Improved CA-SCL Decoding Algorithm for Polar Code.	ISNCC	2022	DBLP DOI BibTeX RDF
22	Yaoyu Tao, Zhengya Zhang	DNC-Aided SCL-Flip Decoding of Polar Codes.	CoRR	2021	DBLP BibTeX RDF
22	Vera Miloslavskaya, Branka Vucetic, Yonghui Li 0001, Giyoon Park, Ok-Sun Park	Recursive Design of Precoded Polar Codes for SCL Decoding.	IEEE Trans. Commun.	2021	DBLP DOI BibTeX RDF
22	Xiumin Wang, Hongchao Zhang, Jun Li 0065, Xiupin Bao, Kunyu Xie	An Improved Path Splitting Decision-Aided SCL Decoding Algorithm for Polar Codes.	IEEE Commun. Lett.	2021	DBLP DOI BibTeX RDF
22	Dongyun Kam, Byeong Yong Kong, Youngjoo Lee	Low-Latency Polar Decoder Using Overlapped SCL Processing.	ICASSP	2021	DBLP DOI BibTeX RDF
22	Yaoyu Tao, Zhengya Zhang	DNC-Aided SCL-Flip Decoding of Polar Codes.	GLOBECOM	2021	DBLP DOI BibTeX RDF
22	Dexin Zhang, Bolin Wu, Kai Niu 0001	Path Metric Inherited SCL Decoding of Multilevel Polar-Coded Systems.	WCNC Workshops	2021	DBLP DOI BibTeX RDF
22	Chandra Shekhar 0006, Shafi Qureshi	Design of 50 MHz PLL using indigenous SCL 180 nm CMOS Technology.	iSES	2021	DBLP DOI BibTeX RDF
22	Yunjie Zhang, Jianping Li	Research on The Characteristic Value of SA-CA-SCL for Polar Code.	ICCBN	2021	DBLP DOI BibTeX RDF
22	Huanhuan Liu, Jianping Li, Zhiping Xia	A Progressive PSS-SS-SCL Algorithm for Polar Codes.	ICCBN	2021	DBLP DOI BibTeX RDF
22	Ole Gramit, Georgios Lajios	Konzeptionierung und Implementierung eines statischen Codeanalysewerkzeugs zur Überprüfung von Programmierrichtlinien in SCL.	Softwaretechnik-Trends	2020	DBLP BibTeX RDF
22	Xi Wu 0008, Yafeng Wang, Chuanfeng Li	Low-Complexity CRC Aided Joint Iterative Detection and SCL Decoding Receiver of Polar Coded SCMA System.	IEEE Access	2020	DBLP DOI BibTeX RDF
22	Xijin Liu, Shaohua Wu, Ye Wang 0002, Ning Zhang 0007, Jian Jiao 0001, Qinyu Zhang 0001	Exploiting Error-Correction-CRC for Polar SCL Decoding: A Deep Learning-Based Approach.	IEEE Trans. Cogn. Commun. Netw.	2020	DBLP DOI BibTeX RDF
22	Mohd Asim Aftab, S. M. Suhail Hussain, Ikbal Ali, Taha Selim Ustun	A Novel SCL Configuration Method for Modeling Microgrids With IEC 61850.	IEEE Syst. J.	2020	DBLP DOI BibTeX RDF
22	Alberto Fiori, Christoph Weidenbach	SCL with Theory Constraints.	CoRR	2020	DBLP BibTeX RDF
22	Vera Miloslavskaya, Branka Vucetic	Design of Short Polar Codes for SCL Decoding.	IEEE Trans. Commun.	2020	DBLP DOI BibTeX RDF
22	Yi-Han Pan, Chung-Hsuan Wang, Yeong-Luh Ueng	Generalized SCL-Flip Decoding of Polar Codes.	GLOBECOM	2020	DBLP DOI BibTeX RDF
22	Md. Asif Iqbal, Lukasz Krzczanowicz, Ian D. Phillips, Paul Harper, Wladek Forysiak	150nm SCL-Band Transmission through 70km SMF using Ultra-Wideband Dual-Stage Discrete Raman Amplifier.	OFC	2020	DBLP BibTeX RDF
22	Surya Padma, Sounak Das, Subhajit Sen, Chetan D. Parikh	High Performance Operational Amplifier with 90dB Gain in SCL 180nm Technology.	VDAT	2020	DBLP DOI BibTeX RDF
22	Xijin Liu, Shaohua Wu, Xiao Xu, Jian Jiao 0001, Qinyu Zhang 0001	Improved Polar SCL Decoding by Exploiting the Error Correction Capability of CRC.	IEEE Access	2019	DBLP DOI BibTeX RDF
22	Hao Zhu, Zheng Wang 0049	SCL: a lattice-based approach to infer 3D chromosome structures from single-cell Hi-C data.	Bioinform.	2019	DBLP DOI BibTeX RDF
22	Zhiqiang Shen, Harsh Maheshwari, Weichen Yao, Marios Savvides	SCL: Towards Accurate Domain Adaptive Object Detection via Gradient Detach Based Stacked Complementary Losses.	CoRR	2019	DBLP BibTeX RDF
22	Jiajie Tong, Huazi Zhang, Lingchen Huang, Xiaocheng Liu, Jun Wang 0062	An Asymmetric Adaptive SCL Decoder Hardware for Ultra-Low-Error-Rate Polar Codes.	CoRR	2019	DBLP BibTeX RDF
22	Naoyuki Monden	Signatures of surface bundles and scl of a Dehn twist.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
22	Andrea Lamparelli, Ghareeb Falazi, Uwe Breitenbücher, Florian Daniel, Frank Leymann	Smart Contract Locator (SCL) and Smart Contract Description Language (SCDL).	ICSOC Workshops	2019	DBLP DOI BibTeX RDF
22	Alberto Fiori, Christoph Weidenbach	SCL Clause Learning from Simple Models.	CADE	2019	DBLP DOI BibTeX RDF
22	Anqi Cao, Li Zhang 0066, Jian Qiao, Yejun He	An LLR-Based Segmented Flipped SCL Decoding Algorithm for Polar Codes.	ICCC	2019	DBLP DOI BibTeX RDF