Sciweavers

646 search results - page 90 / 130
» Hybrid decision diagrams
Sort
View
MST
2006
120views more  MST 2006»
13 years 8 months ago
Exploiting Regularities for Boolean Function Synthesis
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
Anna Bernasconi, Valentina Ciriani, Fabrizio Lucci...
WER
2010
Springer
13 years 6 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
HYBRID
2009
Springer
14 years 3 months ago
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays
This paper studies distributed networked systems with data dropouts and transmission delays. We propose a decentralized eventtriggering scheme, where a subsystem broadcasts its sta...
Xiaofeng Wang, Michael D. Lemmon
TON
2010
89views more  TON 2010»
13 years 7 months ago
Demand-aware content distribution on the internet
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
Srinivas Shakkottai, Ramesh Johari
ICMCS
2010
IEEE
154views Multimedia» more  ICMCS 2010»
13 years 6 months ago
Minimizing delay in lossless sequential data streaming
There is an ongoing explosion of interactive Internet applications. By nature, these applications require responsive clientserver data exchange and lossless, in-order delivery. In...
Sanjeev Mehrotra, Jin Li, Ying-zong Huang