Sciweavers

3122 search results - page 278 / 625
» A Theory of Network Equivalence
Sort
View
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
15 years 10 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
ISMIS
2000
Springer
15 years 10 months ago
A Comparative Study of Noncontextual and Contextual Dependencies
There is current interest in generalizing Bayesian networks by using dependencies which are more general than probabilistic conditional independence (CI). Contextual dependencies, ...
S. K. Michael Wong, Cory J. Butz
ANTSW
2008
Springer
15 years 8 months ago
Modeling Phase Transition in Self-organized Mobile Robot Flocks
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
Ali Emre Turgut, Cristián Huepe, Hande &Cce...
APPROX
2010
Springer
138views Algorithms» more  APPROX 2010»
15 years 8 months ago
Maximum Flows on Disjoint Paths
We consider the question: What is the maximum flow achievable in a network if the flow must be decomposable into a collection of edgedisjoint paths? Equivalently, we wish to find a...
Guyslain Naves, Nicolas Sonnerat, Adrian Vetta
CIIT
2007
133views Communications» more  CIIT 2007»
15 years 8 months ago
Linear-tree rule structure for firewall optimization
Given a list of filtering rules with individual hitting probabilities, it is known that the average processing time of a linear-search based firewall can be minimized by searchi...
Liang Zhao, A. Shimae, Hiroshi Nagamochi