Sciweavers

4987 search results - page 271 / 998
» Fuzzifying P Systems
Sort
View

Publication
3459views
15 years 10 months ago
VirtFS--A virtualization aware File System pass-through
This paper describes the design and implementation of a paravirtualized file system interface for Linux in the KVM environment. Today’s solution of sharing host files on the gues...
Venkateswararao Jujjuri, Eric Van Hensbergen, Anth...
DATE
2006
IEEE
86views Hardware» more  DATE 2006»
15 years 10 months ago
Synthesis of system verilog assertions
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
ICNP
2005
IEEE
15 years 10 months ago
Incentives to Promote Availability in Peer-to-Peer Anonymity Systems
Peer-to-peer (P2P) anonymous communication systems are vulnerable to free-riders, peers that use the system while providing little or no service to others and whose presence limit...
Daniel R. Figueiredo, Jonathan K. Shapiro, Donald ...
CCR
2010
120views more  CCR 2010»
15 years 4 months ago
Pitfalls for testbed evaluations of internet systems
Today's open platforms for network measurement and distributed system research, which we collectively refer to as testbeds in this article, provide opportunities for controll...
David R. Choffnes, Fabian E. Bustamante
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 3 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...