Search results for "VCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya	Functional and Performance Modeling of Concurrency in VCC.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
116	Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies	VCC: A Practical System for Verifying Concurrent C.	TPHOLs	2009	DBLP DOI BibTeX RDF
89	Yasue Kishino, Tsutomu Terada, Masahiko Tsukamoto, Shojiro Nishio	A Ubiquitous Computing Environment Composed by Cooperation between Visual Markers and Event-Driven Compact Devices.	UDM	2005	DBLP DOI BibTeX RDF
80	Dirk Leinenbach, Thomas Santen	Verifying the Microsoft Hyper-V Hypervisor with VCC.	FM	2009	DBLP DOI BibTeX RDF
80	Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte	VCC: Contract-based modular verification of concurrent C.	ICSE Companion	2009	DBLP DOI BibTeX RDF
72	Wolfram Schulte	Experiments in Verifying Low Level Concurrent C Code.	ICECCS	2007	DBLP DOI BibTeX RDF
54	Keith A. Bowman, James W. Tschanz, Shih-Lien Lu, Paolo A. Aseron, Muhammad M. Khellah, Arijit Raychowdhury, Bibiche M. Geuskens, Carlos Tokunaga, Chris Wilkerson, Tanay Karnik, Vivek De	Resilient microprocessor design for high performance & energy efficiency.	ISLPED	2010	DBLP DOI BibTeX RDF	resilient design
54	Jaume Abella 0001, Javier Carretero, Pedro Chaparro, Xavier Vera, Antonio González 0001	Low Vccmin fault-tolerant cache with highly predictable performance.	MICRO	2009	DBLP DOI BibTeX RDF	Vccmin, cache, faults, predictable performance
54	Akinbola Adetunji, Hadi Larijani	Routing with a bandwidth based algorithm in virtual call centres.	NOMS	2008	DBLP DOI BibTeX RDF
54	James W. Tschanz, Siva G. Narendra, Ali Keshavarzi, Vivek De	Adaptive circuit techniques to minimize variation impacts on microprocessor performance and power.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
53		2023 IEEE Virtual Conference on Communications (VCC), NY, USA, November 28-30, 2023	VCC	2023	DBLP DOI BibTeX RDF
53	Samuel A. Ige, Mohammad S. Khan, Biju Bajracharya	Enhancing EV Charging Capabilities Using Haversine and Convex Optimization for ITS.	VCC	2023	DBLP DOI BibTeX RDF
53	Ahmed Omara, Burak Kantarci	Generative Adversarial Networks to Secure Vehicle-to-Microgrid Services.	VCC	2023	DBLP DOI BibTeX RDF
53	Evangelos Koutsonas, Stylianos E. Trevlakis, Alexandros-Apostolos A. Boulogeorgos	A Deep Learning Mobility Management Approach for RIS-Empowered Millimeter Wave Wireless Systems.	VCC	2023	DBLP DOI BibTeX RDF
53	Ehinomen Atimati, David Crawford, Robert Stewart	Intelligent Shared Spectrum Coordination in Heterogeneous Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Benjamin Teyssier, Y A Joarder, Carol J. Fung	QUICShield: A Rapid Detection Mechanism Against QUIC-Flooding Attacks.	VCC	2023	DBLP DOI BibTeX RDF
53	Samuel M. Garcia Murça, Daniel Perdices, Jorge E. López de Vergara	Analysis of Top Internet Websites Load Times.	VCC	2023	DBLP DOI BibTeX RDF
53	Zhou Ni, Morteza Hashemi	Efficient Cluster Selection for Personalized Federated Learning: A Multi-Armed Bandit Approach.	VCC	2023	DBLP DOI BibTeX RDF
53	Liu Cao, Yahia Shabara, Parisa Cheraghi	Codebook-Based Uplink Transmission Enhancement in 5G Advanced: Sub-Band Precoding.	VCC	2023	DBLP DOI BibTeX RDF
53	Chukwuemeka Nwufo, Yichuang Sun, Oluyomi Simpson	Secure Energy-Efficient Multi-RIS-Aided SWIPT Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Andre Slonopas, Stephanie Travis, Warren Thompson	Cybersecurity Defense via Agile Virtual Infrastructure Deception.	VCC	2023	DBLP DOI BibTeX RDF
53	Arman Ghasemi, Morteza Hashemi	Harnessing the Power of Transformer Learning with Long-Term Memory for Renewable Energy Forecasting.	VCC	2023	DBLP DOI BibTeX RDF
53	Tan Zheng Hui Ernest, Shen Li Qin, A. S. Madhukumar	A Distributed Deep Learning-Driven Edge Caching Strategy for Industrial IoT Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Chengtao Xu, Thomas Yang 0001	BSS with Data Injection for Multi-User Detection in BPSK/QPSK Communications in Dynamic Channels.	VCC	2023	DBLP DOI BibTeX RDF
53	Dushyantha A. Basnayaka, Jiabin Jia	Bit Error Rate Performance and Diversity Analysis for Mediumband Wireless Communication.	VCC	2023	DBLP DOI BibTeX RDF
53	Taisuke Moriwaki, Kazuyuki Shudo	Gossip Distillation: Decentralized Deep Learning Transmitting Neither Training Data Nor Models.	VCC	2023	DBLP DOI BibTeX RDF
53	Pubudu L. Indrasiri, Dinh C. Nguyen, Bipasha Kashyap, Pubudu N. Pathirana	Federated Learning with Provable Security Against Malicious Clients in IoT Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Xiaoping Pan, Xi Yang, Kejun Lei, Geng Zhang, Yinhang Zhang, Tingting Liu, Song Zhang	Enhanced Spectrum Sensing by Combining Feature Selection and Optimal Margin Distribution Machine.	VCC	2023	DBLP DOI BibTeX RDF
53	Younes Ben Mazziane, Francescomaria Faticanti, Giovanni Neglia, Sara Alouf	No- Regret Caching with Noisy Request Estimates.	VCC	2023	DBLP DOI BibTeX RDF
53	Rhana M. Elshishtawy, Shimaa S. Ali, Adly S. Tag Eldien, Mostafa M. Fouda, Mohamed I. Ismail, Esraa M. Eid	EMI Performance Analysis in IRS-Aided Multi-User Wireless Communication Systems.	VCC	2023	DBLP DOI BibTeX RDF
53	Juan Eloy Espozo Espinoza, Manuel Fernández-Veiga, Francisco Troncoso-Pastoriza	Hierarchical Coded Caching Model for Multi-Path Topological Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Noureddine Mouhoub, Maria Moloney, Damien Magoni	MNTG: A New Flexible Multilayer Network Topology Generator.	VCC	2023	DBLP DOI BibTeX RDF
53	Md. Ismail Hossain, N. M. Istiak Chowdhury, Ragib Hasan	How Secure is AI-based Coding?: A Security Analysis Using STRIDE and Data Flow Diagrams.	VCC	2023	DBLP DOI BibTeX RDF
53	Nandita Lavanis	Energy Efficient Transmit Antenna Selection for URLLC Base Station.	VCC	2023	DBLP DOI BibTeX RDF
53	Yuto Sasaki, Shota Mori, Riichi Yokoyama, Keiichi Mizutani, Hiroshi Harada	High-Precision 5G-NR Downlink Signal Detection Sensor Developed Using Software-Defined Radio.	VCC	2023	DBLP DOI BibTeX RDF
53	Xiao Chen	Building Mobile Edge Infrastructure in an Uncertain Environment.	VCC	2023	DBLP DOI BibTeX RDF
53	Siwar Kriaa, Afef Feki, Serge Papillon, Thomas Chene, Ismael Ouattara	Detecting Fake Base Stations Using Knowledge Graphs and ML-Based Techniques.	VCC	2023	DBLP DOI BibTeX RDF
53	Yoiz Nuñez, Lisandro Lovisolo, Luiz da Silva Mello 0001, Glaucio Ramos, Nuno Leonor, Stefânia Faria, Rafael F. S. Caldeirinha	Path Loss Prediction for Vehicular-to-Infrastructure Communication Using Machine Learning Techniques.	VCC	2023	DBLP DOI BibTeX RDF
53	Maryam Abbasihafshejani, Mohammad Hossein Manshaei, Murtuza Jadliwala	Detecting and Punishing Selfish Behavior During Gossiping in Algorand Blockchain.	VCC	2023	DBLP DOI BibTeX RDF
53	Youssef Hussein, Mohamad Assaad, Thierry Clessienne	Distributed RIS-aided MU-MISO for Rank Improved Channel Conditions.	VCC	2023	DBLP DOI BibTeX RDF
53	Ananya Hazarika, Mehdi Rahmati	AquaIntellect: A Semantic Self-Learning Framework for Underwater Internet of Things Connectivity.	VCC	2023	DBLP DOI BibTeX RDF
53	Mohamed I. Ismail, Abdullah M. Shaheen, Mostafa M. Fouda, Ahmed S. Alwakeel	Optimizing Reconfigurable Intelligent Surface-Assisted Integrated Sensing and Communication Systems.	VCC	2023	DBLP DOI BibTeX RDF
53	Rodrigo S. Couto 0001, Lucas C. Favaro	Federated Learning Applied to Arrhythmia Detection on Electrocardiograms.	VCC	2023	DBLP DOI BibTeX RDF
53	Alexis Amezaga Hechavarria, Nader Joojili, Ahmed Abdelmoaty, M. Omair Shafiq, Akram Bin Sediq, Mats Zachrison, Hatem Abou-Zeid	Feature Engineering for Highly Irregular Network Traffic Prediction.	VCC	2023	DBLP DOI BibTeX RDF
53	Xian Liu	Optimization of Non-Identical Queued Offloading in Mobile Edge Computing.	VCC	2023	DBLP DOI BibTeX RDF
53	Ferhat Özgür Çatak, Murat Kuzlu	A Cryptographic Federated Learning-Based Channel Estimation for Next-Generation Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Conor Mullaney, Adnan Aijaz, Rasheed Hussain	Efficient and Secure Energy Trading with Electric Vehicles and Distributed Ledger Technology.	VCC	2023	DBLP DOI BibTeX RDF
53	Mohammad M. Hosseini, João Pedro 0001, Antonio Napoli, Nelson Costa, Jaroslaw E. Prilepsky, Sergei K. Turitsyn	Constrained-Optimization of Filterless Horseshoe Networks Supporting P2MP Coherent Transceivers.	VCC	2023	DBLP DOI BibTeX RDF
53	Bismillah Nasir Ashfaq, Daniel K. Tettey, Murat Uysal	FPGA-Based Implementation and Experimental Demonstration of a Vehicular VLC System.	VCC	2023	DBLP DOI BibTeX RDF
53	Yousef N. Shnaiwer, Megumi Kaneko	Outage Probability Minimization in a Multi-User RIS-Assisted RSMA System.	VCC	2023	DBLP DOI BibTeX RDF
53	Balázs Fodor, Ákos Jakub, Gábor Szücs, Balázs Sonkoly	A Multi-Agent Deep-Reinforcement Learning Approach for Application-Agnostic Microservice Scaling.	VCC	2023	DBLP DOI BibTeX RDF
53	Chan-Tong Lam, Ke Wang, Benjamin K. Ng	Channel Estimation Using In-Band Pilots for Cell-Free Massive MIMO.	VCC	2023	DBLP DOI BibTeX RDF
53	Xian Liu	A Canonical Queuing System with Heterogeneous Servers and Finite Storage: Optimality and Application.	VCC	2023	DBLP DOI BibTeX RDF
53	Minh K. Quan, Dinh C. Nguyen, Van-Dinh Nguyen, Mayuri Wijayasundara, Sujeeva Setunge, Pubudu N. Pathirana	HierSFL: Local Differential Privacy-Aided Split Federated Learning in Mobile Edge Computing.	VCC	2023	DBLP DOI BibTeX RDF
53	Said Mohammead Awad, Mohammed Abdel-Hafez	Ergodic Capacity Analysis of Downlink NOMA Systems Over $\kappa-\mu$ Shadowed Fading Channels.	VCC	2023	DBLP DOI BibTeX RDF
53	Mozhang Guo, Xianbin Wang	Opportunistic Mobile Crowdsensing for Interference Overhead Reduction and Throughput Maximization.	VCC	2023	DBLP DOI BibTeX RDF
53	Hoontaek Oh, Jerry D. Gibson	Recursively Adaptive Randomized MultiTree Coding for First Responder Voice Communications.	VCC	2023	DBLP DOI BibTeX RDF
53	Emre Kilcioglu, Ivan Stupia, Luc Vandendorpe	Interference-Aware Optimization of Energy-Efficient Relay-Assisted Collaborative CNN Execution.	VCC	2023	DBLP DOI BibTeX RDF
53	Adnan Aijaz, Kevin Bean	Millimeter Wave Backhaul for Stratospheric HAPs: Performance of the Bent-Pipe Architecture.	VCC	2023	DBLP DOI BibTeX RDF
53	Bartlomiej Jozef Bleszynski, Charalampos Orfanidis, Xenofon Fafoutis	Detection of Mobile LoRa Jammers.	VCC	2023	DBLP DOI BibTeX RDF
53	Guanfang Dong, Chenqiu Zhao, Anup Basu	Bridging Distribution Learning and Image Clustering in High-Dimensional Space.	VCC	2023	DBLP DOI BibTeX RDF
53	Kazuki Takeda, Keiichi Mizutani, Hiroshi Harada	Open-Source Software-Based Full-Stack Evaluation Platform of Simplified UTW-OFDM for Beyond 5G.	VCC	2023	DBLP DOI BibTeX RDF
53	Asma Mabrouk, Rafik Zayani	Energy-Efficient Uplink Cell-Free Massive MIMO Through Distributed Cancellation Technique of HWIs.	VCC	2023	DBLP DOI BibTeX RDF
53	Kaylani Bochie, Matteo Sammarco, Miguel Elias M. Campista	An Analysis of Federated Learning Performance in Mobile Networks.	VCC	2023	DBLP DOI BibTeX RDF
53	Dilip Krishnaswamy	Quantum-inspired Edge Processing for Wireless Network Optimization.	VCC	2023	DBLP DOI BibTeX RDF
53	Daniel K. Tettey, Bismillah Nasir Ashfaq, Mohammed Elamassie, Murat Uysal	Experimental Investigation of MISO Vehicular Visible Light Communication Under Mobility Conditions.	VCC	2023	DBLP DOI BibTeX RDF
53	Youngjoon Lee, Sangwoo Park, Joonhyuk Kang	Byzantine-Resilient Federated Learning via Reverse Aggregation.	VCC	2023	DBLP DOI BibTeX RDF
53	Hoover H. F. Yin, Xishi Wang, Qi Cao 0003, Shiqiu Liu	Multichannel One-Time Length Encoding: Exploiting Channel Redundancy.	VCC	2023	DBLP DOI BibTeX RDF
53	Katsuaki Higashimori	Reconfiguration Penalty-Aware Topology Control in Optical Communication Satellite Networks.	VCC	2023	DBLP DOI BibTeX RDF
51	Steven Hsu, Amit Agarwal 0001, Kaushik Roy 0001, Ram Krishnamurthy 0001, Shekhar Borkar	An 8.3GHz dual supply/threshold optimized 32b integer ALU-register file loop in 90nm CMOS.	ISLPED	2005	DBLP DOI BibTeX RDF	dual-Vt/Vcc, flip-flop, hot spot, level converter
36	Paolo Burelli, Luca Di Gaspero, Andrea Ermetici, Roberto Ranon	Virtual Camera Composition with Particle Swarm Optimization.	Smart Graphics	2008	DBLP DOI BibTeX RDF
36	Silvia Brini, Doha Benjelloun, Fabien Castanier	A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems.	DATE	2003	DBLP DOI BibTeX RDF
36	Klaus Buchenrieder, Ulrich Nageldinger, Andreas Pyttel, Alexander Sedlmeier	Integration of Reconfigurable Hardware into System-Level Design.	FPL	2002	DBLP DOI BibTeX RDF
36	Klaus Buchenrieder, Ulrich Nageldinger, Andreas Pyttel, Alexander Sedlmeier	System Prototyping by Integration of Reconfigurable Hardware into a Heterogeneous System Model.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
36	Masaki Tsukude, Kazutami Arimoto, Hideto Hidaka, Yasuhiro Konishi, Masanori Hayashikoshi, Katsuhiro Suma, Kazuyasu Fujishima	Highly Reliable Testing of ULSI Memories with On-Chip Voltage-Down Converters.	IEEE Des. Test Comput.	1993	DBLP DOI BibTeX RDF
34	Randall S. Janka, Linda M. Wills	Specification and synthesis of real-time embedded distributed and parallel multiprocessor-based signal processing systems.	CASES	2000	DBLP DOI BibTeX RDF	MPI/RT, VCC, VSIPL, specification and design methodology, virtual component co-design, real-time, middleware, parallel processing, MPI, embedded, COTS, multiprocessing, MAGIC
27	Zhanpeng Zeng, Cole Hawkins, Mingyi Hong, Aston Zhang, Nikolaos Pappas 0004, Vikas Singh, Shuai Zheng	Vcc: Scaling Transformers to 128K Tokens or More by Prioritizing Important Tokens.	CoRR	2023	DBLP DOI BibTeX RDF
27	Colin O'Flynn	PicoEMP: A Low-Cost EMFI Platform Compared to BBI and Voltage Fault Injection using TDC and External VCC Measurements.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Colin O'Flynn	PicoEMP: A Low-Cost EMFI Platform Compared to BBI and Voltage Fault Injection using TDC & External VCC Measurements.	FDTC	2023	DBLP DOI BibTeX RDF
27	Zhanpeng Zeng, Cole Hawkins, Mingyi Hong, Aston Zhang, Nikolaos Pappas 0004, Vikas Singh, Shuai Zheng	VCC: Scaling Transformers to 128K Tokens or More by Prioritizing Important Tokens.	NeurIPS	2023	DBLP BibTeX RDF
27	Nozha Dhibi, Amel Meddeb-Makhlouf, Faouzi Zerai	Reputation management for trusted VCC architecture.	IWCMC	2022	DBLP DOI BibTeX RDF
27	Binal Tejani, Robson E. De Grande	Fair Connectivity-Oriented Allocation for Combined Resources in VCC Networks.	ISCC	2022	DBLP DOI BibTeX RDF
27	Binal Tejani, Robson E. De Grande	Virtual Resource Composition for Allocation Management in VCC Networks.	ISCC	2021	DBLP DOI BibTeX RDF
27	Nicky Lu, Chun Shiah, Juang-Ying Chueh, Bor-Doou Rong, Wei-Jr Huang, Ho-Yin Chen, Cheng-Nan Chang, Chia-Wei Chang, Tzung-Shen Chen	Enhanced Core Circuits for scaling DRAM: 0.7V VCC with Long Retention 138ms at 125°C and Random Row/Column Access Times Accelerated by 1.5ns.	VLSI Circuits	2021	DBLP DOI BibTeX RDF
27	Abubakar Saad, Robson E. De Grande	MDP-based Vehicular Network Connectivity Model for VCC Management.	DS-RT	2020	DBLP DOI BibTeX RDF
27	Vikram B. Suresh, Sudhir Satpathy, Raghavan Kumar, Mark A. Anders 0001, Himanshu Kaul, Amit Agarwal 0001, Steven Hsu, Ram Krishnamurthy 0001, Vivek De, Sanu Mathew	A 250Mv, 0.063J/Ghash Bitcoin Mining Engine in 14nm CMOS Featuring Dual-Vcc Sha256 Datapath and 3-Phase Latch Based Clocking.	VLSI Circuits	2019	DBLP DOI BibTeX RDF
27	Christophe Feltus, Erik H. A. Proper, Andreas Metzger, Juan Carlos Garcia Lopez, Rodrigo Castiñeira González	Value CoCreation (VCC) Language Design in the Frame of a Smart Airport Network Case Study.	AINA	2018	DBLP DOI BibTeX RDF
27	Wenbo Zhang 0003, Zhenshan Bao, Pengfei Yang, Lijuan Duan, Jian Li	A new construction of fuzzy operator-attribute-based signcryption on VCC.	Int. J. Embed. Syst.	2017	DBLP DOI BibTeX RDF
27	Joshua Higgins, Violeta Holmes, Colin C. Venters	VCC: A framework for building containerized reproducible cluster software environments.	J. Open Source Softw.	2017	DBLP DOI BibTeX RDF
27	Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu	A Correctness Verification Method for C Programs Based on VCC.	CSCloud	2016	DBLP DOI BibTeX RDF
27	Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li	Verifying RTuinOS using VCC: From approach to practice.	SNPD	2016	DBLP DOI BibTeX RDF
27	Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock 0001	Refinement-Based Verification of the FreeRTOS Scheduler in VCC.	ICFEM	2015	DBLP DOI BibTeX RDF
27	Mauricio Alférez, Roberto Erick Lopez-Herrejon, Ana Moreira 0001, Vasco Amaral 0001, Alexander Egyed	Consistency Checking in Early Software Product Line Specifications - The VCC Approach.	J. Univers. Comput. Sci.	2014	DBLP DOI BibTeX RDF
27	Won Min Kang, Jae Dong Lee, Jong Hyuk Park	VBSM: VCC-Based Black Box Service Model with Enhanced Data Integrity.	Inf.	2014	DBLP DOI BibTeX RDF
27	Ernie Cohen	Modular Verification of Hybrid System Code with VCC.	CoRR	2014	DBLP BibTeX RDF
27	Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar	Efficient Refinement Checking in VCC.	VSTTE	2014	DBLP DOI BibTeX RDF
27	Samiran Dasgupta, Devraj Rajagopal	A 1.8/2.5/3.3V BiCMOS I/O driver with VCC=5V.	ISCAS	2014	DBLP DOI BibTeX RDF
27	Young-Geun Choi, Sungjoo Yoo, Sunggu Lee, Jung Ho Ahn, Kangmin Lee	MAEPER: Matching Access and Error Patterns With Error-Free Resource for Low Vcc L1 Cache.	IEEE Trans. Very Large Scale Integr. Syst.	2013	DBLP DOI BibTeX RDF
27	Ernie Cohen	Data Abstraction in VCC.	Engineering Dependable Software Systems	2013	DBLP DOI BibTeX RDF
27	Michal Moskal	From C to Infinity and Back: Unbounded Auto-active Verification with VCC.	CAV	2012	DBLP DOI BibTeX RDF