118
Voted
ENTCS
2006
15 years 2 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
127
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...