Search results for "PCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Richard Good, Fabricio Carvalho de Gouveia, Thomas Magedanz, Neco Ventura	Policy-Based Middleware for QoS Management and Signaling in the Evolved Packet System.	MOBILWARE	2009	DBLP DOI BibTeX RDF	PCC, Testbed, IMS, End-to-end, Inter-domain
115	Michael D. Bond, Kathryn S. McKinley	Probabilistic calling context.	OOPSLA	2007	DBLP DOI BibTeX RDF	anomaly-based bug detection, dynamic context sensitivity, residual testing, intrusion detection, probabilistic, calling context, managed languages
100	Han-long Liu, An Deng, Shi-qing Wen	Analytical Solution to Settlement of Cast-In-Situ Thin-Wall Concrete Pipe Pile Composite Foundation.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	PCC pile, composite foundation, deformation modulus, pile-soil stress ratio, settlement
93	Peng Zhou, Chunming Zhao, Zhihua Shi, Xiaoqun Gong	Performance evaluation for PCC-OFDM systems impaired by carrier frequency offset over AWGN channels.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	PCC-OFDM, CIR, ICI Power, gray mapping, beaulieu series, characteristic function (CHF), BER, SER, carrier frequency offset (CFO)
86	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Probabilistic Concurrent Constraint Programming.	CONCUR	1997	DBLP DOI BibTeX RDF
72	Xiaoling Qiu, Dipak Ghosal, Biswanath Mukherjee, Jennifer Yick, Deshi Li	Priority-Based Coverage-Aware Congestion Control for Multihop Wireless Sensor Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
72	Andrew W. Appel, David A. McAllester	An indexed model of recursive types for foundational proof-carrying code.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF
72	George C. Necula	A Scalable Architecture for Proof-Carrying Code.	FLOPS	2001	DBLP DOI BibTeX RDF
71	Stephen J. Walsh, John A. Board	Pollution control caching.	ICCD	1995	DBLP DOI BibTeX RDF	pollution control caching, high speed processors, bandwidth mismatch, standard DRAMS, on-chip caches, miss ratio statistics, expected clock cycles per instruction, main memory latencies, PCC+VB, discrete event simulation, memory architecture, trace driven simulation, cache storage, memory performance, ANOVA, DRAM chips
65	Zongxing Xie, Thiago Quirino, Mei-Ling Shyu, Shu-Ching Chen, LiWu Chang	A Distributed Agent-Based Approach to Intrusion Detection Using the Lightweight PCC Anomaly Detection Classifier.	SUTC (1)	2006	DBLP DOI BibTeX RDF
58	Cindy Dooling, Jeff White, Cathy Lee	Software management.	SIGUCCS	2006	DBLP DOI BibTeX RDF	administrative support, communication, training, computers, audit, licenses, software management, principles
58	Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G. Harley, Franklin C. Lambert	Echo State Networks for Determining Harmonic Contributions from Nonlinear Loads.	IJCNN	2006	DBLP DOI BibTeX RDF
58	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
58	Stephen E. Reichenbach, Frank Geng	Two-dimensional cubic convolution.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
58	Andrew Bernard, Peter Lee 0001	Temporal Logic for Proof-Carrying Code.	CADE	2002	DBLP DOI BibTeX RDF	temporal logic, Proof-carrying code
58	Robert R. Schneck, George C. Necula	A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.	CADE	2002	DBLP DOI BibTeX RDF
58	George C. Necula, Shree Prakash Rahul	Oracle-based checking of untrusted software.	POPL	2001	DBLP DOI BibTeX RDF	ORACLE
50	Heidar Pirzadeh, Danny Dubé	Encoding the Program Correctness Proofs as Programs in PCC Technology.	PST	2008	DBLP DOI BibTeX RDF
50	Victor Yong Hwa Kueh, Mick Wilson	Evolution of Policy Control and Charging (PCC) Architecture for 3GPP Evolved System Architecture.	VTC Spring	2006	DBLP DOI BibTeX RDF
50	Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao	Building Certified Libraries for PCC: Dynamic Storage Allocation.	ESOP	2003	DBLP DOI BibTeX RDF
50	Jinwen Shentu, Jean Armstrong	Blind frequency offset estimation for PCC-OFDM with symbols overlapped in the time domain.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
46	Marek Pawelczyk, Dariusz Bismor, Szymon Ogonowski, Janusz Kacprzyk (eds.)	Advanced, Contemporary Control - Proceedings of the XXI Polish Control Conference, PCC 2023, Gliwice, Poland, 26-29 June 2023, Volume 1.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Andrzej M. J. Skulimowski, Inez Badecka, Masoud Karimi, Pawel Lydek, Przemyslaw Pukocz	Recent Advances in Artificial Autonomous Decision Systems and Their Applications.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Zbigniew Emirsajlow, Tomasz Barcinski, Nikola Bukowiecka	Attitude Control of an Earth Observation Satellite with a Solar Panel.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Krzysztof Zarzycki, Maciej Lawrynczuk	Physics-Informed Hybrid Neural Network Model for MPC: A Fuzzy Approach.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Krzysztof Oprzedkiewicz, Maciej Rosól, Wojciech Mitkowski	Modeling of Thermal Processes in a Microcontroller System with the Use of Hybrid, Fractional Order Transfer Functions.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Adrian Kampa, Krzysztof Foit, Agnieszka Sekala, Jakub Kulik, Krzysztof Lukowicz, Milosz Mróz, Julia Nowak, Marek Witanski, Patryk Zebrowski, Tomasz Blaszczyk, Dariusz Rodzik	Development and Testing of the RFID Gripper Prototype for the Astorino Didactic Robot.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Muhammad Ahsan, Dariusz Bismor	Calibration of a High Sampling Frequency MEMS-Based Vibration Measurement System.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Adam Krzysztof Pilat, Hubert Milanowski, Rafal Bieszczad, Bartiomiej Sikora	Configurable Dynamics of Electromagnetic Suspension by Fuzzy Takagi-Sugeno Controller.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Horst Schulte, Nico Goldschmidt	Fault-Tolerant Fast Power Tracking Control for Wind Turbines Above Rated Wind Speed.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Piotr Krauze, Marek Placzek, Zbigniew Zmudka, Dawid Bauke, Przemyslaw Olszówka, Jakub Turek, Artur Wycislok, Maciej Ziaja, Szymon Zosgórnik, Wojciech Janusz, Grzegorz Przybyla, Michal Wychowanski	Identification of Magnetorheological Damper Model for Off-Road Vehicle Suspension.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Iuliia Lysenko, Yuriy Kuts, Valentyn Uchanin, Yordan Mirchev, Alexander Alexiev	Problems of Using Eddy Current Arrays NDT.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Robert Nebeluk, Maciej Lawrynczuk	On the Choice of the Cost Function for Nonlinear Model Predictive Control: A Multi-criteria Evaluation.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Ralf Stetter, Marcin Witczak	Integration of Fault-Tolerant Design and Fault-Tolerant Control of Automated Guided Vehicles.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Ivo Puncochár, Ladislav Král	Neural Network Based Active Fault Diagnosis with a Statistical Test.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Ivan Sadovenko, Olexander Inkin, Nataliia Dereviahina	Evaluating Hydrodynamic Indices of the Underground Gas Storage Operation Based upon a Two-Phase Filtration Model.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Keyvan Karim Afshar, Roman Korzeniowski, Jaroslaw Konieczny	Design of Robust H∞ Control of an Active Inerter-Based Vehicle Suspension System.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	V. M. Molokanova	Earned Value Method in Public Project Monitoring.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Bartlomiej Ambrozkiewicz, Zbigniew H. Czyz, Pawel Staczek, Jakub Anczarski, Mikolaj Jachowicz	Enhancing Power Generation Efficiency of Piezoelectric Energy Harvesting Systems: A Performance Analysis.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	S. Y. Liaskovska, Y. V. Martyn	Development of Information Technologies for the Research of Technical Systems.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Malgorzata I. Michalczyk	Active Noise Control with Passive Error Signal Shaping - A Critical Case Study.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Szymon Król, Pawel Dworak	An Application of the Dynamic Decoupling Techniques for a Nonlinear TITO Plant.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Michal Szulc, Jerzy Kasprzyk, Jacek Loska	Creep Testing Machine Identification for Power System Load Optimization.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Jan Maciej Kóscielny, Michal Bartys	New Metrics of Fault Distinguishability.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Teresa Glówka	Time Series Identification Using Monte Carlo Method.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Yaroslav Batsala, Ivan Hlad	Power Quality Issues of Photovoltaic Stations in Electric Grids and Control of Main Parameters Electromagnetic Compatibility.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Marcin Pazera, Marcin Witczak, Józef Korbicz	A Multiple Actuator and Sensor Fault Estimation for Dynamic Systems.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Jaroslaw Figwer	Continuous-Time Dynamic Model Identification Using Binary-Valued Observations of Input and Output Signals.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Ali Soltani Sharif Abadi, Pooyan Alinaghi Hosseinabadi, Andrew Ordys	Synchronization of Four Different Chaotic Communication Systems with the Aim of Secure Communication.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Uliana Nykolyn, Petro Nykolyn	Calculation Method of the Centrifugal Pump Flow Rate Based on Its Nominal Data and Pump Head Increase.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Andrzej Kozyra, Aleksandra Lipczynska, Piotr Koper, Radoslaw Babisz, Damian Madej, Konrad Nowakowski, Jakub Karwatka, Dominik Tomczok	Development of an "Artificial Lung" System for Use in Indoor Air Quality Testing.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Ali Soltani Sharif Abadi, Pooyan Alinaghi Hosseinabadi, Andrew Ordys	Adaptive Sliding Mode control of Traffic Flow in Uncertain Urban Networks.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Andrzej Bozek, Zbigniew Swider, Leszek Trybus	Consistent Design of PID Controllers for Time-Delay Plants.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Marcin Jastrzebski, Jacek Kabzinski, Rafal Zawislak	Nonlinear Adaptive Control with Invertible Fuzzy Model.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Rafal Stanislawski, Marek Rydel	On Mikhailov Stability Conditions for a Class of Integer- and Commensurate Fractional-Order Discrete-Time Systems.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Lukasz Korus, Andrzej Jablonski	Aspects of Measurement Data Acquisition and Optimisation in the Energy Transformation of Industrial Facilities.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Dariusz Ucinski	A Majorization-Minimization Algorithm for Optimal Sensor Location in Distributed Parameter Systems.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Karol Jablonski, Dariusz Bismor	Verification of a Building Simulator in Real Experiments.	PCC (1)	2023	DBLP DOI BibTeX RDF
46	Stefan Domek	A Tube-Based MPC Structure for Fractional-Order Systems.	PCC (1)	2023	DBLP DOI BibTeX RDF
43	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
43	Yu Huang 0009, Gongde Guo, Daniel Neagu	A Partial Coverage Based Approach to Classification.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
43	Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
43	Elvira Albert, Puri Arenas, Germán Puebla	An Incremental Approach to Abstraction-Carrying Code.	LPAR	2006	DBLP DOI BibTeX RDF
43	Yasuyuki Tsukada	Interactive and Probabilistic Proof of Mobile Code Safety.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	software verification, proof-carrying code, interactive proof system
43	Vincent Martin, Marie Chabert, Bernard Lacaze	A Spread Spectrum Watermarking Scheme Based on Periodic Clock Changes for Digital Images.	Information Hiding	2005	DBLP DOI BibTeX RDF
43	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code.	LPAR	2004	DBLP DOI BibTeX RDF
43	J. Gregory Morrisett	Invited talk: what's the future for proof-carrying code?	PEPM	2004	DBLP DOI BibTeX RDF
43	Bin Lin 0001, Jubai An, Carl Emil Brown, Hande Zhang	Neural Networks in Detection and Identification of Littoral Oil Pollution by Remote Sensing.	ISNN (1)	2004	DBLP DOI BibTeX RDF
43	J. Gregory Morrisett	Invited talk: what's the future for proof-carrying code?	PPDP	2004	DBLP DOI BibTeX RDF
43	Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum	A Framework for Execution of Secure Mobile Code based on Static Analysis.	SCCC	2004	DBLP DOI BibTeX RDF
43	Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga	A Trustworthy Proof Checker.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	proof checker, proof-carrying code
43	Peter Lee 0001	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
43	George C. Necula, Robert R. Schneck	Proof-Carrying Code with Untrusted Proof Rules.	ISSS	2002	DBLP DOI BibTeX RDF
43	Albert Christensen, Daniel Lehotský, Mathias Krogh Poulsen, Thomas B. Moeslund	Presenting a Novel Pipeline for Performance Comparison of V-PCC and G-PCC Point Cloud Compression Methods on Datasets with Varying Properties.	VISIGRAPP (4: VISAPP)	2022	DBLP DOI BibTeX RDF
36	Cataldo Basile, Paolo Carlo Pomi, Piervito Scaglioso	Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC).	PDP	2008	DBLP DOI BibTeX RDF
36	Masaya Ohta, Hideyuki Yamada, Katsumi Yamashita	BER Performance Improvement of Biased PCC-OFDM with Neural Phase Rotator by Suppressing ICI.	IJCNN	2006	DBLP DOI BibTeX RDF
29	Kalyani Bogineni, Flemming Andreasen	Policy Peering for Next-Generation Networks.	POLICY	2008	DBLP DOI BibTeX RDF	policy peering, SBBC, PCC, PCMM, PCRF, PCEF, requirements, policy, NGN, design principles, service provider, PDP, PEP
29	Feimin Zhong, Dong Wang 0022, Gang Wang 0010, Weizhu Chen, Yuchen Zhang, Zheng Chen 0001, Haixun Wang	Incorporating post-click behaviors into a click model.	SIGIR	2010	DBLP DOI BibTeX RDF	post-click behavior, bayesian model, click log analysis
29	Y. D. Song, X. H. Yin, Gary Lebby, Liguo Weng	A Direct Approach to Achieving Maximum Power Conversion in Wind Power Generation Systems.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Wind power, Memory-based control, Pitch angle, Maximum energy conversion
29	Qun-Feng Zhu, Lei Huang, Zhan-Bin Hu, Jie Tang	The Fuzzy PI Control for the DSTATCOM Based on the Balance of Instantaneous Power.	ICIC (1)	2009	DBLP DOI BibTeX RDF	DSTATCOM, Voltage regulation, Instantaneous power, Fuzzy control
29	Doruk Bozdag, Jeffrey D. Parvin, Ümit V. Çatalyürek	A Biclustering Method to Discover Co-regulated Genes Using Diverse Gene Expression Datasets.	BICoB	2009	DBLP DOI BibTeX RDF
29	Jacob Benesty, Jingdong Chen, Yiteng Huang	On the Importance of the Pearson Correlation Coefficient in Noise Reduction.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
29	Heidar Pirzadeh, Danny Dubé	VEP: a virtual machine for extended proof-carrying code.	VMSec	2008	DBLP DOI BibTeX RDF	virtual machine, proof-carrying code
29	Aytekin Vargun, David R. Musser	Code-carrying theory.	SAC	2008	DBLP DOI BibTeX RDF	secure code delivery, correctness, proof-carrying code, memory safety
29	Giancarlo Covolo Heck, Roberto A. Hexsel	The performance of pollution control victim cache for embedded systems.	SBCCI	2008	DBLP DOI BibTeX RDF	pollution control victim cache, embedded systems
29	Gilles Barthe, César Kunz	Certificate translation for specification-preserving advices.	FOAL	2008	DBLP DOI BibTeX RDF	AOP, program verification, proof-carrying code
29	Michal Moskal	Rocket-Fast Proof Checking for SMT Solvers.	TACAS	2008	DBLP DOI BibTeX RDF
29	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
29	Tsung-Hsien Liu	Analysis of the Principal Component Combining with Weight Estimation for DPSK Signals.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
29	Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G. Harley	Application of Neural Networks for Data Modeling of Power Systems with Time Varying Nonlinear Loads.	CIDM	2007	DBLP DOI BibTeX RDF
29	Mei-Ling Shyu, Shu-Ching Chen, Kanoksri Sarinnapakorn, LiWu Chang	Principal Component-based Anomaly Detection Scheme.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
29	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
29	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
29	Yu Huang 0002, Jiannong Cao 0001, Beihong Jin	A predictive approach to achieving consistency in cooperative caching in MANET.	Infoscale	2006	DBLP DOI BibTeX RDF
29	Nadeem Abdul Hamid	Certified memory management for proof-carrying code: a region-based type system and runtime library.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF
29	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
29	Mei-Ling Shyu, Kanoksri Sarinnapakorn, Indika Kuruppu-Appuhamilage, Shu-Ching Chen, LiWu Chang, Thomas Goldring	Handling Nominal Features in Anomaly Intrusion Detection Problems.	RIDE	2005	DBLP DOI BibTeX RDF	indicator variables, multiple correspondence analysis, nominal features, principal component classifier, intrusion detection, Anomaly detection
29	Lian Zhao, Jon W. Mark	Multistep closed-loop power control using linear receivers for DS-CDMA systems.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
29	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-Based Mobile Code Certification.	ICLP	2004	DBLP DOI BibTeX RDF
29	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Experiments in abstract interpretation-based code certification for pervasive systems.	SMC (2)	2004	DBLP DOI BibTeX RDF