Filters








1,827 Hits in 5.5 sec

Polytope: Practical Memory Access Control for C++ Applications [article]

Ioannis Agadakos, Manuel Egele, William Robertson
2022 arXiv   pre-print
In this work, we present Polytope, a language extension to C++ that aims to make efficient privilege separation accessible to a wider audience of developers.  ...  Polytope defines a policy language encoded as C++11 attributes that separate code and data into distinct program partitions.  ...  memory corruption, such as is assumed for randomization-based or control-flow integrity (CFI) defenses.  ... 
arXiv:2201.08461v2 fatcat:4wzomo7fbbf7ba4vlxtlcwutoa

Polytope: Practical Memory Access Control for C++ Applications [article]

Ioannis Agadakos, Manuel Egele, William Robertson
2022
In this work, we present Polytope, a language extension to C++ that aims to make efficient privilege separation accessible to a wider audience of developers.  ...  Polytope defines a policy language encoded as C++11 attributes that separate code and data into distinct program partitions.  ...  memory corruption, such as is assumed for randomization-based or control-flow integrity (CFI) defenses.  ... 
doi:10.48550/arxiv.2201.08461 fatcat:q4w2n4gaznb2hdgmq6aybixupq

Application of the Polytope Model to Functional Programs [chapter]

Nils Ellmenreich, Christian Lengauer, Martin Griebl
2000 Lecture Notes in Computer Science  
the polytope model, which has been successful for imperative scienti c programs.  ...  We describe the prerequisites for adapting the polytope model to Haskell, a non-strict functional language.  ...  Acknowledgments The authors would like to thank John O'Donnell for reading the draft and lots of helpful comments, especially on Section 2.2, Bj orn Lisper for fruitful discussions and the DAAD for travel  ... 
doi:10.1007/3-540-44905-1_14 fatcat:zpi6cjpeb5bmfh6duotvoqwp7a

Loop parallelization in the polytope model [chapter]

Christian Lengauer
1993 Lecture Notes in Computer Science  
In this model, a (perfect) nest of r FOR-loops is represented by a convex polytope in r . The boundaries of each loop specify the extent of the polytope in a distinct dimension.  ...  During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular.  ...  Thanks to Lothar Thiele, Patrice Quinton, Ed Deprettere and Vincent van Dongen for discussions of loop parallelization.  ... 
doi:10.1007/3-540-57208-2_28 fatcat:oe7cdnlnizestae6bpnda6epum

volesti: Volume Approximation and Sampling for Convex Polytopes in R [article]

Apostolos Chalkis, Vissarion Fisikopoulos
2020 arXiv   pre-print
In this paper we present volesti, a C++ package with an R interface that provides efficient, scalable algorithms for volume estimation, uniform and Gaussian sampling from convex polytopes. volesti scales  ...  The authors acknowledge fruitful discussions with Ioannis Emiris, Elias Tsigaridas, Ludovic Calès, the R-project for statistical computing and the R community.  ...  Evaluating Z-polytope approximation methods Volume approximation for Z-polytopes (or zonotopes) is very useful in several applications in decision and control (Kopetzki, Schürmann, and Althoff 2017) ,  ... 
arXiv:2007.01578v2 fatcat:dvfbanuloff3vianbvenidmddu

Stability of Networked Control Systems With Polytopic Uncertainty and Buffer Constraint

Dongxiao Wu, Jun Wu, Sheng Chen, Jian Chu
2010 IEEE Transactions on Automatic Control  
We consider the stability of the discrete-time networked control systems (NCSs) with polytopic uncertainty, where a smart controller is updated with the buffered sensor information at stochastic intervals  ...  We establish sufficient conditions for guaranteeing the exponential stability of generic switched NCSs and the exponential mean square stability of Markov-chain driven NCSs, respectively.  ...  ACKNOWLEDGMENT The authors would like to thank the Associate Editor and the Reviewers for their valuable comments.  ... 
doi:10.1109/tac.2010.2042232 fatcat:4jjrzcsfjrhshfu77hxjfiqlei

Probabilistic Permutation Synchronization using the Riemannian Structure of the Birkhoff Polytope [article]

Tolga Birdal, Umut Şimşekli
2019 arXiv   pre-print
Langevin Monte Carlo for generating samples on the Birkhoff Polytope and estimating the confidence of the found solutions.  ...  To this end, we first introduce the very recently developed Riemannian geometry of the Birkhoff Polytope.  ...  Authors thank Haowen Deng for the initial 3D correspondences and, Benjamin Busam and Jesus Briales for fruitful discussions.  ... 
arXiv:1904.05814v1 fatcat:ngqtrdaakzfujbqm3scvkptajq

Bullseye Polytope: A Scalable Clean-Label Poisoning Attack with Improved Transferability [article]

Hojjat Aghakhani, Dongyu Meng, Yu-Xiang Wang, Christopher Kruegel, Giovanni Vigna
2021 arXiv   pre-print
We further extend Bullseye Polytope to a more practical attack model by including multiple images of the same object (e.g., from different angles) when crafting the poison samples.  ...  A recent source of concern for the security of neural networks is the emergence of clean-label dataset poisoning attacks, wherein correctly labeled poison samples are injected into the training dataset  ...  We also extend Bullseye Polytope to a more practical threat model.  ... 
arXiv:2005.00191v3 fatcat:6dm42rzhyfbmvg4wxoxhgep2dm

Robust Recursive Regulator for Systems Subject to Polytopic Uncertainties

Jose Nuno A. D. Bueno, Kaio D. T. Rocha, Marco H. Terra
2021 IEEE Access  
We present a robust recursive framework for the regulation of discrete-time linear systems subject to polytopic uncertainties.  ...  We provide numerical and real-world examples to validate the proposed approach and for comparison with a robust H ∞ controller.  ...  Systems subject to polytopic uncertainties have been attracting increasing attention, with successful practical applications including data transmission protocols [7] , power systems [8] - [10] , vehicular  ... 
doi:10.1109/access.2021.3118571 fatcat:cotlqi22o5hnhp3e3mucmuu6ya

Phase Retrieval via Polytope Optimization: Geometry, Phase Transitions, and New Algorithms [article]

Oussama Dhifallah, Christos Thrampoulidis, Yue M. Lu
2018 arXiv   pre-print
We study algorithms for solving quadratic systems of equations based on optimization methods over polytopes.  ...  outperforms several state-of-the-art algorithms under both generic Gaussian measurements as well as more realistic Fourier-type measurements that arise in phase retrieval applications.  ...  in phase retrieval applications.  ... 
arXiv:1805.09555v1 fatcat:4laaiixpkrcapamyusqryeac7a

A simple a posteriori estimate on general polytopal meshes with applications to complex porous media flows

Martin Vohralík, Soleiman Yousef
2018 Computer Methods in Applied Mechanics and Engineering  
These estimates allow for a very fast evaluation and, according to Theorems 3.12 and 5.1, give a guaranteed control over the error committed in the approximation of the exact Darcy velocity (flux) for  ...  This paper presents a posteriori error estimates that can be readily implemented into (reservoir engineering) production codes on general polytopal meshes with a minimal overhead.  ...  This probably gives the easiest and most practically accessible application to polytopal meshes of the general methodology of H 1 -conforming potential reconstruction and H(div, Ω)-conforming flux reconstruction  ... 
doi:10.1016/j.cma.2017.11.027 fatcat:3yxssb4earbbhdtks6hr3v46hq

Novel Targeting to XCR1+ Dendritic Cells Using Allogeneic T Cells for Polytopical Antibody Responses in the Lymph Nodes

Yusuke Kitazawa, Hisashi Ueta, Yasushi Sawanobori, Tomoya Katakai, Hiroyuki Yoneyama, Satoshi Ueha, Kouji Matsushima, Nobuko Tokuda, Kenjiro Matsuno
2019 Frontiers in Immunology  
Allogeneic T cells may be clinically applicable as vaccine vectors for polytopical prophylactic antibody production even in asplenic or hyposplenic individuals.  ...  Vaccination strategy that induce efficient antibody responses polytopically in most lymph nodes (LNs) against infections has not been established yet.  ...  A clinical implication is discussed concerning antigen-furnished Tcells as i.v. applicable vaccine vector for the prophylactic antibody production polytopically in the LNs even in the absence of the spleen  ... 
doi:10.3389/fimmu.2019.01195 pmid:31191552 pmcid:PMC6548820 fatcat:vkd7p7fjpnheblzfv5dbelj4cu

Automatic On-chip Memory Minimization for Data Reuse

Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y.K. Cheung
2007 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007)  
This paper addresses how to automatically derive an address mapping that reduces the size of the required on-chip memory for a given memory access pattern.  ...  Experimental results demonstrate that, in practice, our approach reduces on-chip storage requirements to the minimum, corresponding to a reduction in on-chip memory size of up to 40× (average 10×) for  ...  We thus want to derive a new indexing function g(x) in Fig. 2 (c) for the data reuse array, which can reduce the required memory space and control the memory waste within a limited range, but that still  ... 
doi:10.1109/fccm.2007.18 dblp:conf/fccm/LiuCMC07 fatcat:xgz5uqfztva6zerghwlpd53d7y

Efficient Memory Partitioning in Software Defined Hardware [article]

Matthew Feldman, Tian Zhao, Kunle Olukotun
2022 arXiv   pre-print
In this paper, we introduce an automatic memory partitioning system that can quickly compute more efficient partitioning schemes than prior systems.  ...  This is because ℓ 𝐶 𝑘 polytope-emptiness checks must occur to prove ℓ concurrent accesses are properly banked for a 𝑘-ported memory.  ...  the overall memory footprint of an application.  ... 
arXiv:2202.01261v3 fatcat:iufson337rdftjxpgoy7e6lpxq

Optimizing SDRAM bandwidth for custom FPGA loop accelerators

Samuel Bayliss, George A. Constantinides
2012 Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays - FPGA '12  
for fixed onchip memory resource.  ...  We present an automated tool for constructing an application specific on-chip memory address sequencer which presents requests to the external memory with an ordering that optimizes off-chip memory bandwidth  ...  Parse the 'C' kernel code and construct a polytope representation. 2.  ... 
doi:10.1145/2145694.2145727 dblp:conf/fpga/BaylissC12 fatcat:zqdlf26o5jhcvbjiju3nwkpo6u
« Previous Showing results 1 — 15 out of 1,827 results