8132 search results - page 200 / 1627 » Dependability, Abstraction, and Programming |
158
click to vote
TCAD
2010
15 years 1 months ago
2010
Starting from the 90nm technology node, process induced stress has played a key role in the design of highperformance devices. The emergence of source/drain silicon germanium (S/D ...
152
click to vote
ANOR
2007
15 years 6 months ago
2007
Abstract This paper is devoted to bilevel optimization, a branch of mathematical programming of both practical and theoretical interest. Starting with a simple example, we proceed ...
153
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
160
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
154
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...