Sciweavers

17983 search results - page 3228 / 3597
» Set Types and Applications
Sort
View
FORTE
2011
14 years 10 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
ICALP
2011
Springer
14 years 10 months ago
Steiner Transitive-Closure Spanners of Low-Dimensional Posets
Given a directed graph G = (V, E) and an integer k ≥ 1, a Steiner k-transitive-closure-spanner (Steiner k-TC-spanner) of G is a directed graph H = (VH , EH ) such that (1) V ⊆ ...
Piotr Berman, Arnab Bhattacharyya, Elena Grigoresc...
ICS
2011
Tsinghua U.
14 years 10 months ago
Predictive coordination of multiple on-chip resources for chip multiprocessors
Efficient on-chip resource management is crucial for Chip Multiprocessors (CMP) to achieve high resource utilization and enforce system-level performance objectives. Existing mul...
Jian Chen, Lizy Kurian John
INFOCOM
2011
IEEE
14 years 10 months ago
Ubiquitous data collection for mobile users in wireless sensor networks
Abstract—We study the ubiquitous data collection for mobile users in wireless sensor networks. People with handheld devices can easily interact with the network and collect data....
Zhenjiang Li, Mo Li, Jiliang Wang, Zhichao Cao
NAR
2011
218views Computer Vision» more  NAR 2011»
14 years 9 months ago
Allele frequency net: a database and online repository for immune gene frequencies in worldwide populations
The allele frequency net database (http://www .allelefrequencies.net) is an online repository that contains information on the frequencies of immune genes and their corresponding ...
Faviel F. Gonzalez-Galarza, Stephen Christmas, Der...
« Prev « First page 3228 / 3597 Last » Next »