1127 search results - page 128 / 226 » New Algorithms for Generalized Network Flows |
CCR
2008
14 years 11 months ago
2008
A major contribution to global warming has been the number of new workshops publishing proceedings with the prefix hot. In this article, I propose that we counter this trend in an...
102
click to vote
SIGMOD
2011
ACM
14 years 1 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...
VEE
2010
ACM
15 years 5 months ago
2010
ACM
Modern organizations face increasingly complex information management requirements. A combination of commercial needs, legal liability and regulatory imperatives has created a pat...
113
click to vote
HICSS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...