846 search results - page 68 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
93
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
We present a set of techniques for placement-coupled, timingdriven logic replication. Two components are at the core of the approach. First is an algorithm for optimal timingdrive...
133
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
115
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
82
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Subthreshold circuit designs have been demonstrated to be a successful alternative when ultra-low power consumption is paramount. However, the characteristics of MOS transistors i...
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...