6939 search results - page 1151 / 1388 » Algorithm Engineering for Parallel Computation |
114
click to vote
MIR
2006
ACM
15 years 9 months ago
2006
ACM
Multimedia information retrieval is a highly diverse field. A variety of data types, research problems, methodologies are involved. Researchers in the field come from very diff...
129
click to vote
VRML
2006
ACM
15 years 9 months ago
2006
ACM
The availability of more powerful mobile devices, sometimes equipped with graphics accelerators, is making it easier to experiment with mobile 3D graphics. In this paper, we explo...
114
click to vote
ISPD
2005
ACM
15 years 9 months ago
2005
ACM
In this invited note we describe Capo, an open-source software tool for cell placement, mixed-size placement and floorplanning with emphasis on routability. Capo is among the fas...
136
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
137
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...