Search results for "mpC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Zuzana Beerliová-Trubíniová, Martin Hirt, Jesper Buus Nielsen	On the theoretical gap between synchronous and asynchronous MPC protocols.	PODC	2010	DBLP DOI BibTeX RDF	cryptography, multi-party computation, asynchronous network, mpc
100	Dewei Li 0001, Yugeng Xi 0001	Quality guaranteed aggregation based model predictive control and stability analysis.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	equivalent aggregation, quasi-equivalent, model predictive control
90	Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis	A programming environment for heterogenous distributed memory machines.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogenous distributed memory machines, ANSI C superset, application topology, mpC programming environment, portable parallel programs, run-time support system, command-line user interface, parallel programming, compiler, programming language, programming environment, network topology, virtual processors, mpC
88	Daniel Axehill, Anders Hansson	A dual gradient projection quadratic programming algorithm tailored for model predictive control.	CDC	2008	DBLP DOI BibTeX RDF
76	Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud Rivlin, Héctor Rotstein	Scanning and tracking with independent cameras - a biologically motivated approach based on model predictive control.	Auton. Robots	2008	DBLP DOI BibTeX RDF	MPC controllers, Biologically motivated, Target tracking, Target search
75	Gorazd Karer, Gasper Music, Igor Skrjanc, Borut Zupancic	Hybrid Fuzzy Modelling for Model Predictive Control.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Hybrid systems, Fuzzy systems, Model predictive control
75	Shiro Masuda, Hiroyuki Goto	Feedback properties of model predictive control for max-plus-linear systems.	ICNSC	2007	DBLP DOI BibTeX RDF
75	Huimin Geng, Xutao Deng, Dhundy Bastola, Hesham H. Ali	On Clustering Biological Data Using Unsupervised and Semi-Supervised Message Passing.	BIBE	2005	DBLP DOI BibTeX RDF
75	Ronald Cramer, Ivan Damgård, Ueli M. Maurer	General Secure Multi-party Computation from any Linear Secret-Sharing Scheme.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
75	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
74	Martin Hirt, Ueli M. Maurer, Vassilis Zikas	MPC vs. SFE : Unconditional and Computational Security.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
64	Jesus Garcia, Mark G. Arnold, Leonidas G. Bleris, Mayuresh V. Kothare	LNS architectures for embedded model predictive control processors.	CASES	2004	DBLP DOI BibTeX RDF	FWL, cotransformation, reduced precision, LNS, MPC
63	Toru Nakanishi 0001, Daisuke Yamamoto, Yuji Sugiyama	Sealed-Bid Auctions with Efficient Bids.	ICISC	2003	DBLP DOI BibTeX RDF	multiparty computation (MPC), mix-and-match, additive homomorphic cryptosystems, Sealed-bid auction
63	Eduardo Camponogara, S. N. Talukdar	Distributed Model Predictive Control: Synchronous and Asynchronous Computation.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
63	Maciej Lawrynczuk	Neural Models in Computationally Efficient Predictive Control Cooperating with Economic Optimisation.	ICANN (2)	2007	DBLP DOI BibTeX RDF
63	Ronald Cramer, Serge Fehr, Yuval Ishai, Eyal Kushilevitz	Efficient Multi-party Computation over Rings.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
63	Tiantong You, Hossam S. Hassanein, Hussein T. Mouftah	Infrastructure-Based MAC in Wireless Mobile Ad-Hoc Networks.	LCN	2002	DBLP DOI BibTeX RDF	Simulation, Clustering, QoS, Wireless Ad hoc Networks, Medium Access Control
63	Nanda Kambhatla, Simon Haykin 0001, Robert D. Dony	Image Compression Using KLT, Wavelets and an Adaptive Mixture of Principal Components Model.	J. VLSI Signal Process.	1998	DBLP DOI BibTeX RDF
61	Christoph Lucas, Dominik Raub, Ueli M. Maurer	Hybrid-secure MPC: trading information-theoretic robustness for computational privacy.	PODC	2010	DBLP DOI BibTeX RDF	hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
61	Zuzana Beerliová-Trubíniová, Martin Hirt	Perfectly-Secure MPC with Linear Communication Complexity.	TCC	2008	DBLP DOI BibTeX RDF	hyper-invertible matrix, efficiency, Multi-party computation, perfect security
61	H. Midorikawa	The performance analysis of portable parallel programming interface MpC for SDSM and pthread.	CCGRID	2005	DBLP DOI BibTeX RDF
61	Alexey Ya. Kalinov, Alexey L. Lastovetsky	mpC + ScaLAPACK = Efficient Solving Linear Algebra Problems on Heterogeneous Networks.	Euro-Par	1999	DBLP DOI BibTeX RDF
50	Hossein Ghodosi, Josef Pieprzyk	Multi-Party Computation with Omnipresent Adversary.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF	Omnipresent Adversary, Proactive Secret Sharing, t-resilient Protocols, t-private Protocols, Multi-Party Computation
50	Ion Necoara, Minh Dang Doan, Johan A. K. Suykens	Application of the proximal center decomposition method to distributed model predictive control.	CDC	2008	DBLP DOI BibTeX RDF
50	Juan A. Garay, Rafail Ostrovsky	Almost-Everywhere Secure Computation.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	secure message transmission, almost-everywhere agreement, bounded-degree networks, Secure multi-party computation, expander graphs
50	Maciej Lawrynczuk	Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models.	AIMSA	2008	DBLP DOI BibTeX RDF	Wiener models, neural networks, optimisation, Process control, quadratic programming, Model Predictive Control, linearisation
50	Chiu-Yuen Koo	Secure Computation with Partial Message Loss.	TCC	2006	DBLP DOI BibTeX RDF
50	Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu	Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems.	HSCC	2005	DBLP DOI BibTeX RDF
50	Walid Al-Ahmad	On the Interaction of Programming by Contract and Liskov Substitution Principle.	AICCSA	2001	DBLP DOI BibTeX RDF
50	Dmitry Arapov, Victor Ivannikov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih	Managing Processes with Network Objects and Their Translation.	EUROMICRO	1998	DBLP DOI BibTeX RDF
50	Jiun-Ming Hsu, Prithviraj Banerjee	A message passing coprocessor for distributed memory multicomputers.	SC	1990	DBLP DOI BibTeX RDF
48	Stefano Di Cairano, Diana Yanakiev, Alberto Bemporad, Ilya V. Kolmanovsky, Davor Hrovat	An MPC design flow for automotive control and applications to idle speed regulation.	CDC	2008	DBLP DOI BibTeX RDF
48	Marc Pérache, Hervé Jourdren, Raymond Namyst	MPC: A Unified Parallel Runtime for Clusters of NUMA Machines.	Euro-Par	2008	DBLP DOI BibTeX RDF
48	Zuzana Beerliová-Trubíniová, Martin Hirt	Simple and Efficient Perfectly-Secure Asynchronous MPC.	ASIACRYPT	2007	DBLP DOI BibTeX RDF	efficiency, asynchronous, hybrid model, Multi-party computation, perfect security
48	Dongping Huang, Hessam S. Sarjoughian, Gary W. Godding, Daniel E. Rivera, Karl G. Kempf	Flexible experimentation and analysis for hybrid DEVS and MPC models.	WSC	2006	DBLP DOI BibTeX RDF
48	Yoshiaki Sakae, Satoshi Matsuoka	MPC++ Performance for Commodity Clustering.	HPCN	2001	DBLP DOI BibTeX RDF
48	Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky	Resource Management in the mpC Programming Environment.	HICSS (1)	1997	DBLP DOI BibTeX RDF
39	Sang-Hoon Kim, Hyoung-Gon Kim	Face Detection Using Multi-Modal Information.	FG	2000	DBLP DOI BibTeX RDF	disparity histogram, MPEG-4 SNHC, multi-modal, skin color, MPC
38	Vassilis Zikas, Sarah Hauser, Ueli M. Maurer	Realistic Failures in Secure Multi-party Computation.	TCC	2009	DBLP DOI BibTeX RDF
38	Vu Nam Tran, Mietek A. Brdys	Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems.	ICANN (2)	2009	DBLP DOI BibTeX RDF	robust feasibility, robust output prediction, relaxation algorithm, drinking water distribution systems, genetic algorithms, optimization, predictive control
38	Licheng Jin, Ratnesh Kumar 0001, Nicola Elia	Security constrained emergency voltage stabilization: A Model Predictive Control based approach.	CDC	2008	DBLP DOI BibTeX RDF
38	Giovanni Palmieri, Paolo Falcone, H. Eric Tseng, Luigi Glielmo	A preliminary study on the effects of roll dynamics in predictive vehicle stability control.	CDC	2008	DBLP DOI BibTeX RDF
38	Yunpeng Pan, Jun Wang 0002	Robust Model Predictive Control Using a Discrete-Time Recurrent Neural Network.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Robust model predictive control, recurrent neural network, minimax optimization
38	Jianguo Yao, Xue Liu 0001, Mingxuan Yuan, Zonghua Gu 0001	Online adaptive utilization control for real-time embedded multiprocessor systems.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	multiprocessors, real-time scheduling, feedback control
38	Hsin-Lung Tseng, Yu-Pin Hsu 0001, Chung-Hsien Hsu, Po-Hsuan Tseng, Kai-Ten Feng	A Maximal Power-Conserving Scheduling Algorithm for Broadband Wireless Networks.	WCNC	2008	DBLP DOI BibTeX RDF
38	Maciej Lawrynczuk	Suboptimal Nonlinear Predictive Control with MIMO Neural Hammerstein Models.	IEA/AIE	2008	DBLP DOI BibTeX RDF
38	Yijian Liu, Yanjun Fang	Predictive Control Strategy of Hydraulic Turbine Turning System Based on BGNN Neural Network.	ISICA	2008	DBLP DOI BibTeX RDF	Hydraulic Turbine, BGNN, neural network, Predictive Control
38	Yuval Ishai, Manoj Prabhakaran 0001, Amit Sahai	Founding Cryptography on Oblivious Transfer - Efficiently.	CRYPTO	2008	DBLP DOI BibTeX RDF
38	Guoliang Xing, Chenyang Lu 0001, Ying Zhang 0048, Qingfeng Huang, Robert Pless	Minimum power configuration for wireless communication in sensor networks.	ACM Trans. Sens. Networks	2007	DBLP DOI BibTeX RDF	minimum power configuration, Sensor networks, ad hoc networks, energy efficiency, wireless communications
38	Shangming Wei, Milos Zefran, Kasemsak Uthaichana, Raymond A. DeCarlo	Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage.	ICRA	2007	DBLP DOI BibTeX RDF
38	Zuzana Beerliová-Trubíniová, Martin Hirt	Efficient Multi-party Computation with Dispute Control.	TCC	2006	DBLP DOI BibTeX RDF
38	Vinicius Menezes de Oliveira, Walter Fetter Lages	Linear Predictive Control of a Brachiation Robot.	CCECE	2006	DBLP DOI BibTeX RDF
38	Zhifang Zhang, Mulan Liu, Liangliang Xiao	Parallel Multi-party Computation from Linear Multi-secret Sharing Schemes.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
38	Changyu Shen, Lang Li 0001, Jake Yue Chen	Discover True Association Rates in Multi-protein Complex Proteomics Data Sets.	CSB	2005	DBLP DOI BibTeX RDF
38	Huimin Geng, Hesham H. Ali	A New Clustering Strategy with Stochastic Merging and Removing Based on Kernel Functions.	CSB Workshops	2005	DBLP DOI BibTeX RDF
38	Huimin Geng, Dhundy Bastola, Hesham H. Ali	A New Approach to Clustering Biological Data Using Message Passing.	CSB	2004	DBLP DOI BibTeX RDF
38	Alexandra Grancharova, Tor Arne Johansen	Survey of Explicit Approaches to Constrained Optimal Control.	European Summer School on Multi-AgentControl	2003	DBLP DOI BibTeX RDF
38	Dan Henriksson, Anton Cervin, Johan Åkesson, Karl-Erik Årzén	Feedback Scheduling of Model Predictive Controllers.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
38	Chris Manzie, Marimuthu Palaniswami, H. Watson	Model Predictive Control of a Fuel Injection System with a Radial Basis Function Network Observer.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
38	Ronald Cramer, Ivan Damgård, Stefan Dziembowski, Martin Hirt, Tal Rabin	Efficient Multiparty Computations Secure Against an Adaptive Adversary.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
36	Joris Sijs, Mircea Lazar, W. P. M. H. Heemels	On integration of event-based estimation and robust MPC in a feedback loop.	HSCC	2010	DBLP DOI BibTeX RDF	event-based control, event-based estimation, robust control, predictive control, networked control systems
36	Marc Pérache, Patrick Carribault, Hervé Jourdren	MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption.	PVM/MPI	2009	DBLP DOI BibTeX RDF	Memory consumption, Message passing, High-performance computing, Multithreading
36	Zuzana Beerliová-Trubíniová, Matthias Fitzi, Martin Hirt, Ueli M. Maurer, Vassilis Zikas	MPC vs. SFE: Perfect Security in a Unified Corruption Model.	TCC	2008	DBLP DOI BibTeX RDF
36	Melanie Nicole Zeilinger, Colin N. Jones, Manfred Morari	Real-time suboptimal model predictive control using a combination of explicit MPC and online optimization.	CDC	2008	DBLP DOI BibTeX RDF
36	Todd Templeton, David Hyunchul Shim, Christopher Geyer, Shankar Sastry 0001	Autonomous Vision-based Landing and Terrain Mapping Using an MPC-controlled Unmanned Rotorcraft.	ICRA	2007	DBLP DOI BibTeX RDF
36	Alexey Ya. Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov	A Fortran Evolution of mpC Parallel Programming Language.	PPAM	2005	DBLP DOI BibTeX RDF
36	Jing Tian, Yanxing Zheng, Huayong Zhu, Lincheng Shen	A MPC and Genetic Algorithm Based Approach for Multiple UAVs Cooperative Search.	CIS (1)	2005	DBLP DOI BibTeX RDF
33	John Sandoval-Moreno	Contribution to the Coordination of MPC Strategies for Distributed Systems, Applied to the Electric Power Production. (Contribución a la Coordinación de Estrategias de Control MPC para Sistemas Distribuídos, Aplicados a la Producción de Energía / Contribution à la Coordination de Commandes MPC pour Systèmes Distribués, Appliqués à la Production d'Énergie).		2014	RDF
31	Ekaterina Komendantskaya (eds.)	Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings	MPC	2022	DBLP DOI BibTeX RDF
31	Ralf Hinze, Wouter Swierstra	Calculating Datastructures.	MPC	2022	DBLP DOI BibTeX RDF
31	Zhixuan Yang, Nicolas Wu	Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.	MPC	2022	DBLP DOI BibTeX RDF
31	Brandon Hewer, Graham Hutton	Subtyping Without Reduction.	MPC	2022	DBLP DOI BibTeX RDF
31	Dylan McDermott, Tarmo Uustalu	Flexibly Graded Monads and Graded Algebras.	MPC	2022	DBLP DOI BibTeX RDF
31	Niccolò Veltri, Niels F. W. Voorneveld	Streams of Approximations, Equivalence of Recursive Effectful Programs.	MPC	2022	DBLP DOI BibTeX RDF
31	Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu	Breadth-First Traversal via Staging.	MPC	2022	DBLP DOI BibTeX RDF
31	Ayumu Saito, Reynald Affeldt	Towards a Practical Library for Monadic Equational Reasoning in Coq.	MPC	2022	DBLP DOI BibTeX RDF
31	Minh Nguyen, Nicolas Wu	Folding over Neural Networks.	MPC	2022	DBLP DOI BibTeX RDF
31	Martin Sulzmann, Stefan Wehr	Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.	MPC	2022	DBLP DOI BibTeX RDF
31	Graham Hutton (eds.)	Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings	MPC	2019	DBLP DOI BibTeX RDF
31	Richard S. Bird, Florian Rabe 0001	How to Calculate with Nondeterministic Functions.	MPC	2019	DBLP DOI BibTeX RDF
31	Robin Kaarsgaard, Niccolò Veltri	En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad.	MPC	2019	DBLP DOI BibTeX RDF
31	Ambrus Kaposi, András Kovács, Nicolai Kraus	Shallow Embedding of Type Theory is Morally Correct.	MPC	2019	DBLP DOI BibTeX RDF
31	Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth	Cylindric Kleene Lattices for Program Construction.	MPC	2019	DBLP DOI BibTeX RDF
31	Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler	Unraveling Recursion: Compiling an IR with Recursion to System F.	MPC	2019	DBLP DOI BibTeX RDF
31	Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001	Completeness and Incompleteness of Synchronous Kleene Algebra.	MPC	2019	DBLP DOI BibTeX RDF
31	Jan Stolarek, James Cheney	Verified Self-Explaining Computation.	MPC	2019	DBLP DOI BibTeX RDF
31	Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau	Setoid Type Theory - A Syntactic Translation.	MPC	2019	DBLP DOI BibTeX RDF
31	Dominique Larchey-Wendling, Ralph Matthes	Certification of Breadth-First Algorithms by Extraction.	MPC	2019	DBLP DOI BibTeX RDF
31	Ralf Hinze	Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata.	MPC	2019	DBLP DOI BibTeX RDF
31	Reynald Affeldt, David Nowak, Takafumi Saikawa	A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning.	MPC	2019	DBLP DOI BibTeX RDF
31	James Chapman 0001, Roman Kireev, Chad Nester, Philip Wadler	System F in Agda, for Fun and Profit.	MPC	2019	DBLP DOI BibTeX RDF
31	Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu	Handling Local State with Global State.	MPC	2019	DBLP DOI BibTeX RDF
31	Annabelle McIver	Experiments in Information Flow Analysis.	MPC	2019	DBLP DOI BibTeX RDF
31	Jeremy Gibbons	Coding with Asymmetric Numeral Systems.	MPC	2019	DBLP DOI BibTeX RDF
31	Roland Carl Backhouse	An Analysis of Repeated Graph Search.	MPC	2019	DBLP DOI BibTeX RDF
31	Ralf Hinze, Janis Voigtländer (eds.)	Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings	MPC	2015	DBLP DOI BibTeX RDF
31	Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Notions of Bidirectional Computation and Entangled State Monads.	MPC	2015	DBLP DOI BibTeX RDF
31	Dan Piponi, Brent A. Yorgey	Polynomial Functors Constrained by Regular Expressions.	MPC	2015	DBLP DOI BibTeX RDF
31	Brijesh Dongol, Victor B. F. Gomes, Georg Struth	A Program Construction and Verification Tool for Separation Logic.	MPC	2015	DBLP DOI BibTeX RDF
31	José Pedro Magalhães, Andres Löh	Hierarchy in Generic Programming Libraries.	MPC	2015	DBLP DOI BibTeX RDF