1757 search results - page 229 / 352 » Alternating Refinement Relations |
110
Voted
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
We consider a class of algorithms related to Lempel-Ziv that incorporate restrictions on the manner in which the data can be parsed with the goal of introducing new tradeoffs betwe...
129
click to vote
ICCD
2008
IEEE
16 years 23 days ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...
99
Voted
ICCD
2005
IEEE
16 years 22 days ago
2005
IEEE
Traditional approaches for sequential logic optimization include (1) explicit state-based techniques such as state minimization, (2) structural techniques such as retiming, and (3...
140
click to vote
PLPV
2010
ACM
16 years 21 days ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
TEI
2009
ACM
15 years 10 months ago
2009
ACM
Tangible User Interfaces (TUIs) are commonly accepted as those in which the configuration of physical objects embodies digital system state, providing “graspable” digital medi...