6939 search results - page 1303 / 1388 » Algorithm Engineering for Parallel Computation |
125
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
124
Voted
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Identifying information-rich subsets in high-dimensional spaces and representing them as order revealing patterns (or trends) is an important and challenging research problem in m...
119
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
The backends of today’s Internet services rely heavily on caching at various layers both to provide faster service to common requests and to reduce load on back-end components. ...
118
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...
148
Voted
PLPV
2009
ACM
15 years 11 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...