Sciweavers

1358 search results - page 97 / 272
» Mapping Accessibility Over Time
Sort
View
ISLPED
2000
ACM
77views Hardware» more  ISLPED 2000»
14 years 2 months ago
A recursive algorithm for low-power memory partitioning
Memory-processor integration o ers new opportunities for reducing the energy of a system. In the case of embedded systems, one solution consists of mapping the most frequently acc...
Luca Benini, Alberto Macii, Massimo Poncino
PODS
2006
ACM
122views Database» more  PODS 2006»
14 years 10 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
POPL
1998
ACM
14 years 2 months ago
Maximal Static Expansion
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
Denis Barthou, Albert Cohen, Jean-Francois Collard
SIGIR
2010
ACM
14 years 2 months ago
Blog snippets: a comments-biased approach
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
Javier Parapar, Jorge López-Castro, Alvaro ...
HOTOS
2009
IEEE
14 years 2 months ago
Hierarchical File Systems Are Dead
For over forty years, we have assumed hierarchical file system namespaces. These namespaces were a rudimentary attempt at simple organization. As users have begun to interact with...
Margo I. Seltzer, Nicholas Murphy