16504 search results - page 145 / 3301 » New Problems, New Solutions |
160
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
- In this paper, we present a new global router, NTHU-Route, for modern designs. NTHU-Route is based on iterative rip-ups and reroutes, and several techniques are proposed to enhan...
167
Voted
EWRL
2008
15 years 8 months ago
2008
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
170
Voted
DBSEC
2007
15 years 8 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
167
click to vote
IADIS
2003
15 years 8 months ago
2003
XML has become the most useful standard of data interchange in the web and e-business world and there is a large amount of information stored in this format. Nonetheless, a large ...
163
Voted
ENTCS
2008
15 years 7 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...