Výsledky vyhľadávania - (( programming in abstract spaces ) OR ( Programming in abstracts space ))

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ískať 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ískať 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ískať 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ískať 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…”
Zistit podrobnosti o prístupe

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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text