1737 search results - page 251 / 348 » On Interpolation in Existence Logics |
142
click to vote
DATE
2008
IEEE
16 years 23 days ago
2008
IEEE
∗ Diagnosis is becoming a major concern with the rapid development of semiconductor memories. It provides information about the location of manufacturing defects in the memory, a...
179
click to vote
CIE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
178
click to vote
ICWE
2007
Springer
16 years 13 days ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...
173
click to vote
OOPSLA
2007
Springer
16 years 13 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
185
click to vote
PATMOS
2007
Springer
16 years 13 days ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...