Sciweavers

22 search results - page 1 / 5
» Observability Don't Care Sets and Boolean Relations
Sort
View
ICCAD
1990
IEEE
47views Hardware» more  ICCAD 1990»
13 years 9 months ago
Observability Don't Care Sets and Boolean Relations
Maurizio Damiani, Giovanni De Micheli
ICCAD
1996
IEEE
86views Hardware» more  ICCAD 1996»
13 years 9 months ago
Polarized observability don't cares
A new method is presented to compute the exact observability don't cares (ODC) for multilevel combinational circuits. A new mathematical concept, called polarization, is intr...
Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van...
DAC
1994
ACM
13 years 9 months ago
Permissible Observability Relations in FSM Networks
Previous attempts to capture the phenomenon of output don't care sequencesfor a componentin an FSM network have been incomplete. We demonstrate that output don't care se...
Huey-Yih Wang, Robert K. Brayton
ECSCW
2007
13 years 6 months ago
Prior-to-request and request behaviors within elderly day care: Implications for developing service robots for use in multiparty
The rapidly expanding elderly population in Japan and other industrialized countries has posed an enormous challenge to the systems of healthcare that serve elderly citizens. This ...
Keiichi Yamazaki, Michie Kawashima, Yoshinori Kuno...
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
13 years 11 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...