1604 search results - page 7 / 321 » A Logical Viewpoint on Architectures |
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
The race conditions often limit the smallest feasible clock period that the optimal clock skew scheduling can achieve. Therefore, the combination of clock skew scheduling and dela...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
As technology scales toward deep submicron, on-chip interconnects are becoming more and more sensitive to noise sources such as power supply noise, crosstalk, radiation induced ef...
DAC
1992
ACM
15 years 1 months ago
1992
ACM
DAC
1995
ACM
15 years 1 months ago
1995
ACM
