3943 search results - page 364 / 789 » Architecture-Level Requirements Specification |
279
click to vote
ECCTD
2011
14 years 6 months ago
2011
⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
186
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We show how to compute cartograms with worst-case optimal polygonal complexity. Specifically we study rectilinear duals which are side-contact representations of a planar graph G ...
181
click to vote
PODS
2012
ACM
13 years 9 months ago
2012
ACM
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...
134
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Large screen displays require new interaction techniques because of their physical size. Even though there are technologies that tackle the problem of interaction with such device...
291
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...