165 search results - page 20 / 33 » Constraints: The Ties that Bind |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
—In the VLSI design process, a design implementation often needs to be corrected because of new specifications or design constraint violations. This correction process is referre...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
RAID
2001
Springer
14 years 1 days ago
2001
Springer
ed Credential Chain Discovery in Trust Management - Extended Abstract............................... 35 N. Li, W. Winsborough, and J. Mitchell System Health and Intrusion Monitorin...
EWCBR
2000
Springer
13 years 11 months ago
2000
Springer
An important focus of recent CBR research is on how to develop strategies for achieving compact, competent case-bases, as a way to improve the performance of CBR systems. However, ...