Suchergebnisse - (( programming in abstract spaces ) OR ( Programming in abstraktys spaces ))~

Tropical and idempotent mathematics and applications : International Workshop Tropical and Idempotent Mathematics, August 26-31, 2012, Independent University, Moscow, Russia von 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, …”
Volltext

Barrier methods based on Jordan–Hilbert algebras for stochastic optimization in spin factors von 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 …”
Volltext

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

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

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces von 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 …”
Volltext

Device and programming abstractions for spatiotemporal control of active micro-particle swarms von 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 …”
Weitere Angaben

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

Accelerating optimal power flow with GPUs: SIMD abstraction of nonlinear programs and condensed-space interior-point methods von 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 …”
Volltext

Indefinite Abstract Splines with a Quadratic Constraint von 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 …”
Volltext

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement von 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 …”
Volltext

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

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

Space consumption analysis by abstract interpretation: Reductivity properties von 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 …”
Volltext

Space consumption analysis by abstract interpretation: Inference of recursive functions von 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 …”
Volltext

Topological rewriting and the geometrization of programming von 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 …”
Volltext

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

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

Systematic Data Placement Optimization in Multi-Cloud Storage for Complex Requirements von 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 …”
Volltext

A sequential homotopy method for mathematical programming problems von 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 …”
Volltext

Lightweight Named Object: An ICN-Based Abstraction for IoT Device Programming and Management von 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 …”
Volltext

Coordinating and programming multiple ROS-based robots with X-KLAIM von 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 …”
Volltext

Level sets of depth measures in abstract spaces: Level sets of depth measures in abstract spaces von 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 …”
Volltext

Weakly Modular Graphs and Nonpositive Curvature von 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 …”
Volltext