2911 search results - page 389 / 583 » A Logic of Graph Constraints |
149
click to vote
ER
2007
Springer
16 years 20 days 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:...
157
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...
187
click to vote
ATS
2005
IEEE
16 years 4 days ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
181
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
172
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...