Výsledky vyhledávání - (( Programming in abstract space ) OR ( programming in abstracts spaces ))

Tropical and idempotent mathematics and applications : International Workshop Tropical and Idempotent Mathematics, August 26-31, 2012, Independent University, Moscow, Russia Autor 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,…”
Získat plný text

Barrier methods based on Jordan–Hilbert algebras for stochastic optimization in spin factors Autor 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…”
Získat plný text

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

“…This article studies stability and optimality for convex parametric programming models in abstract spaces…”
Získat plný text

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces Autor 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…”
Získat plný text

Device and programming abstractions for spatiotemporal control of active micro-particle swarms Autor 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…”
Zjistit podrobnosti o přístupu

A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction Autor 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…”
Získat plný text

Accelerating optimal power flow with GPUs: SIMD abstraction of nonlinear programs and condensed-space interior-point methods Autor 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…”
Získat plný text

Indefinite Abstract Splines with a Quadratic Constraint Autor 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…”
Získat plný text

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

“…Graph traversal is a critical building block in many algorithms. Traversing a large graph using breadth-first search, although conceptually simple, is…”
Získat plný text

Space consumption analysis by abstract interpretation: Reductivity properties Autor 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…”
Získat plný text

Space consumption analysis by abstract interpretation: Inference of recursive functions Autor 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…”
Získat plný text

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement Autor 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…”
Získat plný text

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

“…Space tensors appear in physics and mechanics. Mathematically, they are tensors in the three-dimensional Euclidean space…”
Získat plný text

Topological rewriting and the geometrization of programming Autor 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…”
Získat plný text

Systematic Data Placement Optimization in Multi-Cloud Storage for Complex Requirements Autor 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…”
Získat plný text

Lightweight Named Object: An ICN-Based Abstraction for IoT Device Programming and Management Autor 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…”
Získat plný text

A sequential homotopy method for mathematical programming problems Autor 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…”
Získat plný text

Coordinating and programming multiple ROS-based robots with X-KLAIM Autor 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…”
Získat plný text

Level sets of depth measures in abstract spaces: Level sets of depth measures in abstract spaces Autor 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…”
Získat plný text

Weakly Modular Graphs and Nonpositive Curvature Autor Chalopin, Jérémie, Chepoi, Victor, Hirai, Hiroshi, Osajda, Damian

“…This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from…”
Získat plný text