28888 search results - page 5431 / 5778 » Computability and complexity in analysis |
160
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
State-of-the-art networked storage servers are equipped with increasingly powerful computing capability and large DRAM memory as storage caches. However, their contribution to the...
136
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
131
click to vote
TSD
2007
Springer
15 years 10 months ago
2007
Springer
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
133
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work we study a wide range of online and offline routing and packing problems with various objectives. We provide a unified approach, based on a clean primal-dual method...
121
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...