571 search results - page 107 / 115 » Performing causality analysis by bounded model checking |
MANSCI
2007
14 years 11 months ago
2007
Companies such as Zara and World Co. have recently implemented novel product development processes and supply chain architectures enabling them to make more product design and ass...
77
Voted
QUESTA
2010
14 years 10 months ago
2010
The M/G/K queueing system is one of the oldest model for multi-server systems, and has been the topic of performance papers for almost half a century. However, even now, only coar...
112
click to vote
TSP
2010
14 years 6 months ago
2010
We study the distributed sampling and centralized reconstruction of two correlated signals, modeled as the input and output of an unknown sparse filtering operation. This is akin ...
104
Voted
CISS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...
108
click to vote
VRST
2003
ACM
15 years 4 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...