14158 search results - page 400 / 2832 » Generalized switch-setting problems |
143
Voted
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
141
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
137
click to vote
CCE
2010
15 years 2 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
163
click to vote
SIAMJO
2011
14 years 12 months ago
2011
Abstract. The condition number of a Gram matrix defined by a polynomial basis and a set of points is often used to measure the sensitivity of the least squares polynomial approxim...
144
click to vote
SIAMNUM
2011
14 years 12 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...