Sciweavers

2050 search results - page 129 / 410
» constraints 2010
Sort
View
DATE
2010
IEEE
180views Hardware» more  DATE 2010»
14 years 3 months ago
Integration, cooling and packaging issues for aerospace equipments
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
Claude Sarno, C. Tantolin
DATE
2010
IEEE
166views Hardware» more  DATE 2010»
14 years 3 months ago
A special-purpose compiler for look-up table and code generation for function evaluation
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, S...
TOOLS
2010
IEEE
14 years 3 months ago
Deep Meta-modelling with MetaDepth
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
Juan de Lara, Esther Guerra
CPAIOR
2010
Springer
14 years 3 months ago
Upper Bounds on the Number of Solutions of Binary Integer Programs
We present a new method to compute upper bounds of the number of solutions of binary integer programming (BIP) problems. Given a BIP, we create a dynamic programming (DP) table for...
Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann
CORR
2010
Springer
129views Education» more  CORR 2010»
13 years 10 months ago
The complexity of positive first-order logic without equality
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...
Florent R. Madelaine, Barnaby Martin