6456 search results - page 1003 / 1292 » Constraint Solving on Terms |
158
click to vote
ASSETS
2006
ACM
16 years 19 days ago
2006
ACM
Visual content in lectures can be enhanced for use by students with visual disabilities by using high-resolution digital still cameras. This paper presents a system which uses two...
201
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
185
click to vote
COMPGEOM
2006
ACM
16 years 19 days ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...
204
click to vote
CONEXT
2006
ACM
16 years 19 days ago
2006
ACM
A conventional enterprise or campus network comprises Ethernet-based IP subnets interconnected by routers. Although each subnet runs with minimal (or zero) configuration by virtue...
186
click to vote
ISLPED
2006
ACM
16 years 18 days ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...