615 search results - page 56 / 123 » Beta Reduction Constraints |
157
click to vote
ISQED
2008
IEEE
15 years 11 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
128
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
146
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
The Open-Shop Problem is a hard problem that can be solved using Constraint Programming or Operation Research methods. Existing techniques are efficient at reducing the search tree...
135
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
152
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
A communication-centric design approach, Networks on Chips (NoCs), has emerged as the design paradigm for designing a scalable communication infrastructure for future Systems on C...