Search Results - Programming in abstract spaces

Tropical and idempotent mathematics and applications : International Workshop Tropical and Idempotent Mathematics, August 26-31, 2012, Independent University, Moscow, Russia by International Workshop Tropical and Idempotent Mathematics, Litvinov, G. L. (Grigoriĭ Lazarevich), Sergeev, S. N.

“…This volume contains the proceedings of the International Workshop on Tropical and Idempotent Mathematics, held at the Independent University of Moscow,…”
Get full text

Barrier methods based on Jordan–Hilbert algebras for stochastic optimization in spin factors by Alzalg, Baha

“…Infinite-dimensional stochastic second-order cone programming involves minimizing linear functions over intersections of affine linear manifolds with infinite-dimensional second-order cones…”
Get full text

Convex Parametric Programming in Abstract Spaces by Asgharian, M., Zlobec, S.

“…This article studies stability and optimality for convex parametric programming models in abstract spaces…”
Get full text

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces by Balbás, A., Guerra, P.Jiménez

“…The main object of this paper is to prove that for a linear or convex multiobjective program, a dual program can be obtained which gives the primal sensitivity…”
Get full text

Device and programming abstractions for spatiotemporal control of active micro-particle swarms by Lam, Amy T, Samuel-Gama, Karina G, Griffin, Jonathan, Loeun, Matthew, Gerber, Lukas C, Hossain, Zahid, Cira, Nate J, Lee, Seung Ah, Riedel-Kruse, Ingmar H

“… We develop three levels of programming abstractions (stimulus space, swarm space, and system space…”
Get more information

A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction by Beck, Calvin, Yoon, Irene, Chen, Hanxi, Zakowski, Yannick, Zdancewic, Steve

“…This paper provides a novel approach to reconciling complex low-level memory model features, such as pointer--integer casts, with desired refinements that are…”
Get full text

Accelerating optimal power flow with GPUs: SIMD abstraction of nonlinear programs and condensed-space interior-point methods by Shin, Sungho, Anitescu, Mihai, Pacaud, François

“… We address these issues with two key strategies. First, we utilize a single-instruction, multiple-data abstraction of nonlinear programs…”
Get full text

Indefinite Abstract Splines with a Quadratic Constraint by Gonzalez Zerbo, Santiago, Maestripieri, Alejandra, Martínez Pería, Francisco

“…We study an extension to Krein spaces of the abstract interpolating spline problem in Hilbert spaces, introduced by M. Atteia…”
Get full text

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement by Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

“…We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large…”
Get full text

Optimizing Breadth-First Search at Scale Using Hardware-Accelerated Space Consistency by Ibrahim, Khaled

“…Graph traversal is a critical building block in many algorithms. Traversing a large graph using breadth-first search, although conceptually simple, is…”
Get full text

Space consumption analysis by abstract interpretation: Reductivity properties by Montenegro, Manuel, Peña, Ricardo, Segura, Clara

“…In a previous paper we presented an abstract interpretation-based static analysis for inferring heap and stack memory consumption in a functional language…”
Get full text

Space consumption analysis by abstract interpretation: Inference of recursive functions by Montenegro, Manuel, Peña, Ricardo, Segura, Clara

“…We present an abstract interpretation-based static analysis for inferring heap and stack memory consumption in a functional language…”
Get full text

Topological rewriting and the geometrization of programming by Giavitto, Jean-Louis, Spicher, Antoine

“…: computer architectures, programming languages and applications. In this context, we present MGS, an experimental programming language where data structures are fields on abstract spaces…”
Get full text

Space tensor conic programming by Qi, Liqun, Ye, Yinyu

“…Space tensors appear in physics and mechanics. Mathematically, they are tensors in the three-dimensional Euclidean space…”
Get full text

Systematic Data Placement Optimization in Multi-Cloud Storage for Complex Requirements by Su, Maomeng, Zhang, Lei, Wu, Yongwei, Chen, Kang, Li, Keqin

“…Multi-cloud storage can provide better features such as availability and scalability. Current works use multiple cloud storage providers with erasure coding to…”
Get full text

A sequential homotopy method for mathematical programming problems by Potschka, Andreas, Bock, Hans Georg

“…We propose a sequential homotopy method for the solution of mathematical programming problems formulated in abstract Hilbert spaces under the Guignard constraint qualification…”
Get full text

Lightweight Named Object: An ICN-Based Abstraction for IoT Device Programming and Management by Bracciale, Lorenzo, Loreti, Pierpaolo, Detti, Andrea, Paolillo, Riccardo, Melazzi, Nicola Blefari

“…: a convenient way to represent physical IoT objects in a derived name space, exploiting ICN. We show that this abstraction can: 1…”
Get full text

Coordinating and programming multiple ROS-based robots with X-KLAIM by Bettini, Lorenzo, Bourr, Khalid, Pugliese, Rosario, Tiezzi, Francesco

“… This paper provides an approach for programming MRSs at a high abstraction level using the programming language X-Klaim…”
Get full text

Level sets of depth measures in abstract spaces: Level sets of depth measures in abstract spaces by Cholaquidis, A., Fraiman, R., Moreno, L.

“…The lens depth of a point has been recently extended to general metric spaces, which is not the case for most depths…”
Get full text

XpressSpace: a programming framework for coupling partitioned global address space simulation codes by Zhang, Fan, Docan, Ciprian, Bui, Hoang, Parashar, Manish, Klasky, Scott

“… At the same time, extreme scales, increased levels of concurrency, and the advent of multicores are making programming of high…”
Get full text