Sciweavers

6939 search results - page 1151 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
MIR
2006
ACM
129views Multimedia» more  MIR 2006»
16 years 17 days ago
Diversity in multimedia information retrieval research
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...
James Ze Wang, Nozha Boujemaa, Alberto Del Bimbo, ...
VRML
2006
ACM
16 years 16 days ago
Rendering of X3D content on mobile devices with OpenGL ES
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...
Daniele Nadalutti, Luca Chittaro, Fabio Buttussi
ISPD
2005
ACM
168views Hardware» more  ISPD 2005»
16 years 5 days ago
Capo: robust and scalable open-source min-cut floorplacer
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...
Jarrod A. Roy, David A. Papa, Saurabh N. Adya, Hay...
179
Voted
FOSSACS
2005
Springer
16 years 3 days ago
From Separation Logic to First-Order Logic
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...
Cristiano Calcagno, Philippa Gardner, Matthew Hagu...
SIGMETRICS
2004
ACM
16 years 18 hour ago
Insensitive load balancing
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...
Thomas Bonald, Matthieu Jonckheere, Alexandre Prou...
« Prev « First page 1151 / 1388 Last » Next »