Sciweavers

72 search results - page 15 / 15
» A Fully Implicit Algorithm for Exact State Minimization
Sort
View
FCCM
2000
IEEE
162views VLSI» more  FCCM 2000»
15 years 4 months ago
StReAm: Object-Oriented Programming of Stream Architectures Using PAM-Blox
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
Oskar Mencer, Heiko Hübert, Martin Morf, Mich...
83
Voted
JAIR
2010
145views more  JAIR 2010»
14 years 10 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak