Sciweavers

107

ENTCS
2006

214views more ENTCS 2006»

A Generalization of ACP Using Belnap's Logic

15 years 1 months ago

A Generalization of ACP Using Belnap's Logic

Download staff.science.uva.nl

ACP is combined with Belnap's four-valued logic via conditional composition (if

Alban Ponse, Mark van der Zwaag

claim paper

Read More »

116

ICCAD
2005
IEEE

127views Hardware» more ICCAD 2005»

Hardware synthesis from guarded atomic actions with performance specifications

15 years 10 months ago

Hardware synthesis from guarded atomic actions with performance specifications

Download csg.csail.mit.edu

We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...

Daniel L. Rosenband

claim paper

Read More »