1365 search results - page 73 / 273 » Maximal Causality Analysis |
97
Voted
ESA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The problem of maximizing the weighted throughput in various switching settings has been intensively studied recently through competitive analysis. To date, the most gene...
69
Voted
SIGDOC
1998
ACM
15 years 5 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
96
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
116
click to vote
CISS
2008
IEEE
15 years 7 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...
100
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...