Search results for "programming."
showing 10 items of 3035 documents
Dual Inequalities for Stabilized Column Generation Revisited
2014
Column generation (CG) models have several advantages over compact formulations: they provide better linear program bounds, may eliminate symmetry, and can hide nonlinearities in their subproblems. However, users also encounter drawbacks in the form of slow convergence, also known as the tailing-off effect, and the oscillation of the dual variables. Among different alternatives for stabilizing the CG process, Ben Amor et al. [Ben Amor H, Desrosiers J, Valério de Carvalho JM (2006) Dual-optimal inequalities for stabilized column generation. Oper. Res. 54(3):454–463] suggest the use of dual-optimal inequalities (DOIs) in the context of cutting stock and bin packing problems. We generalize th…
Skeletons for parallel image processing: an overview of the SKiPPER project
2002
International audience; This paper is a general overview of the SKIPPER project, run at Blaise Pascal University between 1996 and 2002. The main goal of the SKIPPER project was to demonstrate the appli- cability of skeleton-based parallel programming techniques to the fast prototyping of reactive vision applications. This project has produced several versions of a full-fledged integrated pa- rallel programming environment (PPE). These PPEs have been used to implement realistic vi- sion applications, such as road following or vehicle tracking for assisted driving, on embedded parallel platforms embarked on semi-autonomous vehicles. All versions of SKIPPER share a common front-end and reperto…
Market Polarization due to Difference in Interface Implementation Efforts
2009
Another factor potentially affecting the evolution of the OSS/BSS software market is the high complexity of software interfaces. The software provided to a customer – a CSP – needs to be integrated with a number of heterogeneous subsystems deployed by the customer. If the number of integration interfaces is high, a vast amount of special knowledge is needed in the vendor organization. High integration efforts also take up the time of the compentent employees of the vendor organization, thereby reducing the number of customers which it is capable of serving. As a result, only few large vendors can compete in such market, and, due to a lack of competition, the evolution towards a horizontaliz…
Systematic classification of two-loop realizations of the Weinberg operator
2015
We systematically analyze the $d=5$ Weinberg operator at 2-loop order. Using a diagrammatic approach, we identify two different interesting categories of neutrino mass models: (i) Genuine 2-loop models for which both, tree-level and 1-loop contributions, are guaranteed to be absent. And (ii) finite 2-loop diagrams, which correspond to the 1-loop generation of some particular vertex appearing in a given 1-loop neutrino mass model, thus being effectively 2-loop. From the large list of all possible 2-loop diagrams, the vast majority are infinite corrections to lower order neutrino mass models and only a moderately small number of diagrams fall into these two interesting classes. Moreover, all …
Run-Time Reconfiguration for Emulating Transient Faults in VLSI Systems
2006
Advances in circuitry integration increase the probability of occurrence of transient faults in VLSI systems. A confident use of these systems requires the study of their behaviour in the presence of such faults. This study can be conducted using model-based fault injection techniques. In that context, field-programmable gate arrays (FPGAs) offer a great promise by enabling those techniques to execute models faster. This paper focuses on how run-time reconfiguration techniques can be used for emulating the occurrence of transient faults in VLSI models. Although the use of FPGAs for that purpose has been restricted so far to the well-known bit-flip fault model, recent studies in fault repres…
AER Filtering Using GLIDER: VHDL Cellular Automata Description
2008
Cellular Automata (CA) is a bio-inspired processing model for problem solving, initially proposed by Von Neumann. This approach modularizes the processing by dividing the solution into synchronous cells that change their states at the same time in order to get the solution. The communication between them is crucial to achieve the correct solution. On the other hand, the Address-Event-Representation (AER) is a neuromorphic communication protocol for transferring asynchronous events between VLSI chips. These neuro-inspired implementations have been used to design sensor chips (retina, cochleas), processing chips (convolutions, filters) and learning chips, which makes it possible to develop co…
ISFET drawbacks minimization using a novel electronic compensation
2004
Ion sensitive field effect transistor (ISFET) and membrane field effect transistor (MEMFET) have some drawbacks related to: long-term drift, hysteresis and thermal drift. These factors limit the accuracy of ISFET/MEMFET based measurements systems, specially for continuous or long period measurements. Due to its accuracy, repeatability and easy-to-use features, electronic instrumentation systems are the best tools to design ISFET/MEMFET based measurement systems. A well-designed hardware and a qualified virtual instrumentation software are the key factors to overcome and compensate hysteresis, thermal and long-term drifts ISFET/MEMFET limitations. The paper is dedicated to show an instrument…
Like a Flame: Remembering Giovanni Tranchina
2012
When, in October 2010, the Law Faculty of Palermo University celebrated 50 years of the teaching of Giovanni Tranchina on the occasion of his farewell public lecture on “The right to the service of hope,” colleagues and students presented him with a plaque: a simple, unadorned silver sheet which bore a message—engraved not only in the metal—conveying the faculty’s “inexpressible gratitude to a Master of law and life.” At the top of the plaque we had also decided to have engraved a phrase of Piero Calamandrei: a reflection on the “square boxes of procedural law,” whose study “is sterile abstraction, unless it is also the study of the living man.” It seemed that this reference to the deeper d…
El legado de Vicente Ripollés Pérez (1867-1943) en el Real Colegio Seminariod e Corpus Christi de Valencia: visión global y transferencia
2019
Vicente Ripollés Pérez (1867-1943) fue unos de los maestros de capilla españoles más interesantes entre los siglos XIX y XX; destacó como compositor, director, musicólogo y por su liderazgo en el movimiento cecilianista. Llegó a ser nombrado canónigo de la Catedral de Valencia y fue maestro de capilla en las catedrales de Tortosa, Sevilla y el Real Colegio de Corpus Christi en Valencia. A esta última institución legó su archivo y biblioteca que han sido catalogados recientemente y que contienen más de ochocientos do-cumentos. Ripollés merecería un estudio monográfico amplio que excede a las limitaciones de este texto. El objetivo de este trabajo es ofrecer una visión global y crítica sobre …
Supporting Impact Analysis by Program Dependence Graph Based Forward Slicing
2007
Since software must evolve to meet the typically changing requirements, source code modifications can not be avoided. Impact analysis is one of the central and relatively demanding tasks of software maintenance. It is constantly needed while aiming at ensuring the correctness of the made modifications. Due to its importance and challenging nature automated support techniques are required. Theoretically, forward slicing is a very suitable technique for that purpose. Therefore, we have implemented a program dependence graph (PDG) based tool, called GRACE, for it. For example, due to the typical rewritings of Visual Basic programs there is a great need to support their impact analysis. However…