Buscar
Mostrando ítems 51-56 de 56
Artículo
Long-term on-chip verification of systems with logical events scattered in time
(Elsevier, 2012)
Traditional on-chip and off-chip logic analyzers present important shortcomings when used for the longterm verification of industrial embedded systems, forcing the designer to implement ad hoc verification solutions. ...
Ponencia
More Stable SPH-based Fluid Simulation
(The Eurographics Association, 2012)
The simulation of fluid is a field largely discussed, from the viewpoint of engineering, in the so-called compu tational fluid dynamics (CFD). A problem that occurs repeatedly in the literature of CFD is the stability of ...
Artículo
Ecological Factors and Diversification among Neotropical Characiforms
(Hindawi Publishing Corporation, 2012)
Morphological and DNA sequence data has been used to propose hypotheses of relationships within the Characiformes with minimal comparative discussion of causes underpinning the major intraordinal diversification patterns. ...
Ponencia
Patrimonio natural antropizado del area minera de Río Tinto (España)
(Universidad Internacional de Andalucía, 2012)
Artículo
Partial Gröbner bases for multiobjective integer linear optimization
(Society for Industrial and Applied Mathematics, 2012)
This paper presents a new methodology for solving multiobjective integer linear programs (MOILP) using tools from algebraic geometry. We introduce the concept of partial Gr¨obner basis for a family of multiobjective programs ...
Ponencia
A Software Development Kit to Implement Integration Solutions
(ACM Digital Library, 2012-03)
Typical companies rely on their software ecosystems to support and optimise their business processes. There are a few proposals to help software engineers devise enterprise application integration solutions. Some companies ...