223 search results - page 6 / 45 » Mixed partitions and related designs |
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
ICPP
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—As Chip-Multiprocessor systems (CMP) have become the predominant topology for leading microprocessors, critical components of the system are now integrated on a single c...
CHI
1999
ACM
13 years 11 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
KBS
2008
13 years 5 months ago
2008
Feature subset selection presents a common challenge for the applications where data with tens or hundreds of features are available. Existing feature selection algorithms are mai...
INTETAIN
2005
Springer
14 years 26 days ago
2005
Springer
”Fluids” is an interactive and immersive mixed reality art installation that explores the relation of intimacy between reality and virtuality. We live in two different but con...