Sciweavers

3686 search results - page 548 / 738
» Performing work in broadcast networks
Sort
View
OSDI
2006
ACM
16 years 6 months ago
Distributed Directory Service in the Farsite File System
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
John R. Douceur, Jon Howell
HICSS
2010
IEEE
155views Biometrics» more  HICSS 2010»
16 years 1 months ago
Experiences Validating the Access Policy Tool in Industrial Settings
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
David M. Nicol, William H. Sanders, Mouna Seri, Sa...
ISMVL
2009
IEEE
96views Hardware» more  ISMVL 2009»
16 years 1 months ago
Evaluation of Cardinality Constraints on SMT-Based Debugging
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
André Sülflow, Robert Wille, Görs...
CCIW
2009
Springer
16 years 1 months ago
An Improved Image Re-indexing Technique by Self Organizing Motor Maps
The paper presents a novel Motor Map neural network for re-indexing color mapped images. The overall learning process is able to smooth the local spatial redundancy of the indexes ...
Sebastiano Battiato, Francesco Rundo, Filippo Stan...
ICC
2008
IEEE
128views Communications» more  ICC 2008»
16 years 1 months ago
Quality-of-Service Routing with Two Concave Constraints
—Routing is a process of finding a network path from a source node to a destination node. A good routing protocol should find the “best path” from a source to a destination...
Ka-Chung Leung, King-Shan Lui, Ka-Cheong Leung, Fr...