2012 search results - page 382 / 403 » CORAL - Control, Relations and Logic |
233
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
255
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
115
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
We analyze the correctness and complexity of two well-known routing algorithms, introduced by Gafni and Bertsekas (1981): By reversing the directions of some edges, these algorith...
122
click to vote
HPCA
2005
IEEE
16 years 2 months ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...