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»
13 years 9 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...
JAIR
2010
145views more  JAIR 2010»
13 years 3 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