• Suche: "ACM: G.: Mathematics of Computing"

Treffer 221 - 240 von 1.951

221

A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
Benveniste, Albert ; Bourke, Timothy ; Caillaud, Benoît ; et al.
Nonlinear Analysis: Hybrid Systems. 26:168-189

Hybrid systems Synchronous programming... Type systems Numerical solver Mathematical modelling l... HybridLang …
Zeitschrift
Zu den Favoriten
222

Comparison of Formulations for the Two-Level Uncapacitated Facility Location Problem with Single Assignment Constraints
Gendron, Bernard ; Khuong, Paul-Virak ; Semet, Frédéric ; et al.
Computers and Operations Research. 86:86-93

Relaxations Formulations Two-level uncapacitated... Mixed-integer programmin... ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS …
Zeitschrift
Zu den Favoriten
223

A unified matheuristic for solving multi-constrained traveling salesman problems with profits
Lahyani, Rahma ; Khemakhem, Mahdi ; Semet, Frédéric ; et al.
EURO Journal on Computational Optimization. 5(3):393-422

Exact Loading Neighborho... Profitable Tour Problem... Approximate Routing Neig... Orienteering Problem wit... Matheuristic Orienteering Problem …
Zeitschrift
Zu den Favoriten
224

Extension of universal cycles for globally identifying colorings of cycles
Coupechoux, Pierre ; Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC) ; Laboratoire d'analyse et d'architecture des systèmes (LAAS) ; et al.
Discrete Mathematics. 340(7):1456-1466

Graph Theory Universal Cycles 2010 MS... Identifying codes Identifying coloring Cycles 05C38 …
Zeitschrift
Zu den Favoriten
225

Statistical estimates for the conditioning of linear least squares problems
Baboulin, Marc ; Gratton, Serge ; Lacroix, Rémi ; et al.
International Conference on Parallel Processing and Applied Mathematics. :124-133

Warsaw, Poland component-wise condition... statistical condition es... component-wise condition... componentwise conditioni... condition number …
Konferenz
Zu den Favoriten
226

Components Mobility for Energy Efficiency of Digital Home
Druilhe, Rémi ; Anne, Matthieu ; Pulou, Jacques ; et al.
16th ACM SIGSOFT International Symposium on Component-Based Software Engineering. :153-158

Vancouver, Canada Energy Efficiency Deployment Constraints Components Mobility Digital Home ACM: D.: Software …
Konferenz
Zu den Favoriten
227

AN AUGMENTED IIM & PRECONDITIONING TECHNIQUE FOR JUMP EMBEDDED BOUNDARY CONDITIONS
Angot, Philippe ; Li, Zhilin ; Institut de Mathématiques de Marseille (I2M) ; et al.
International Journal of Numerical Analysis and Modeling. 14(4-5):712-729

ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS [MATH.MATH-NA]Mathematic... Numerical Analysis [math... [MATH.MATH-AP]Mathematic... Analysis of PDEs [math.A... …
Zeitschrift
Zu den Favoriten
228

Approximating Multidimensional Subset Sum and the Minkowski Decomposition of Polygons
Emiris, Ioannis, Z. ; Karasoulou, Anna ; Tzovas, Charilaos ; et al.
Mathematics in Computer Science. 11:35-48

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.2: Nonnumerical Algo... ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.1: Combinatorics …
Zeitschrift
Zu den Favoriten
229

A Hybrid Linear Logic for Constrained Transition Systems
Despeyroux, Joelle ; Chaudhuri, Kaustuv ; Usage-centered design, analysis and improvement of information systems (AxIS) ; et al.
TYPES 2013 - 19th International Conference on Types for Proofs and Programs. :150-168

Toulouse, France adequacy focusing stochastic pi-calculus hybrid logic linear logic …
Konferenz
Zu den Favoriten
230

Energy-driven Consolidation in Digital Home
Druilhe, Rémi ; Anne, Matthieu ; Pulou, Jacques ; et al.
28th ACM Symposium on Applied Computing (SAC'13). :1157-1162

Coimbra, Portugal Energy Digital Home Consolidation Quality of Service Event-processing …
Konferenz
Zu den Favoriten
231

Study of Routing Overhead and Its Protocols
Rampurkar, Kiran ; Lavande, Nikhil ; Shilgire, Santosh ; et al.
International Journal of Advanced Engineering and Management. 2(2):52-55

Wireless networking Routing protocols analys... Mobile Ad Hoc Networks Network protocol Packet delivery ratio …
Zeitschrift
Zu den Favoriten
232

An Efficient High-Performance Vedic Multiplier: Review
Suryavanshi, Ravindra ; Khare, Sweta ; Scope college of Engineering, Bhopal
International Journal of Advanced Engineering and Management. 2(3):60-64

Vedic multiplier Urdhva-Tiryagbyham Highspeed multiplier binary multiplication al... ACM: G.: Mathematics of... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
233

Proper Hamiltonian Paths in Edge-Colored Multigraphs
Águeda, Raquel ; Borozan, Valentin ; Groshaus, Marina ; et al.
Graphs and Combinatorics. 33(4):617-633

Edge-Colored Graph Multigraph Proper Hamiltonian Path ACM: G.: Mathematics of... [INFO.INFO-DM]Computer S... Discrete Mathematics [cs...
Zeitschrift
Zu den Favoriten
234

A Penalized Best-Response Algorithm for Non-Linear Single-Path Routing Problems
Brun, Olivier ; Prabhu, Balakrishna ; Vallet, Josselin ; et al.
Networks. 69(1):52-66

Approximation algorithms best response single-path routing game theory non-linear programming Nash equilibrium …
Zeitschrift
Zu den Favoriten
235

Tight and rigorous error bounds for basic building blocks of double-word arithmetic
Joldes, Mioara, Maria ; Muller, Jean-Michel ; Popescu, Valentina ; et al.
ACM Transactions on Mathematical Software. 44(2):1-27

double-double arithmetic double-word arithmetic Floating-point arithmeti... error-free transforms ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS …
Zeitschrift
Zu den Favoriten
236

Periodicity in optimal hierarchical checkpointing schemes for adjoint computations
Aupy, Guillaume ; Herrmann, Julien ; Topology-Aware System-Scale Data Management for High-Performance Computing (TADAAM) ; et al.
Optimization Methods and Software. 32(3):594-624

Automatic differentiatio... Program reversal Adjoint computation Checkpointing Asymptotic optimality Online …
Zeitschrift
Zu den Favoriten
237

Mathematical Determination of the Fréchet Derivative with Respect to the Domain for a Fluid-Structure Scattering Problem. Case of Polygonal-Shaped Domains
Barucq, Hélène ; Djellouli, Rabia ; Estecahandy, Elodie ; et al.
SIAM Journal on Mathematical Analysis. :1-29

Elasto-acoustic Inverse Problems Shape derivative Fréchet Derivative Navier's equation Helmholtz equation …
Zeitschrift
Zu den Favoriten
238

Stabilization of MISO fractional systems with delays
Nguyen, Le Ha Vy ; Bonnet, Catherine ; Dynamical Interconnected Systems in COmplex Environments (DISCO) ; et al.
Automatica. 83:337-344

MIMO time delay stabilizing controllers H-infinity Coprime factorization ACM: G.: Mathematics of... …
Zeitschrift
Zu den Favoriten
239

Stability analysis and robustness results for a nonlinear system with distributed delays describing hematopoiesis
Djema, Walid ; Mazenc, Frédéric ; Bonnet, Catherine ; et al.
Systems and Control Letters. 102:93-101

Lyapunov Positive system Delay Biological model Stability ACM: G.: Mathematics of... …
Zeitschrift
Zu den Favoriten
240

Proper Hamiltonian Cycles in Edge-Colored Multigraphs
Águeda, Raquel ; Borozan, Valentin ; Díaz, Raquel ; et al.
Discrete Mathematics. 340(8):1897-1902

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... ACM: G.: Mathematics of... [INFO.INFO-DM]Computer S... Discrete Mathematics [cs... [INFO.INFO-DS]Computer S... …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter