907 resultados para DEMAND


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The creation and evolution of millimeter-sized droplets of a Newtonian liquid generated on demand by the action of pressure pulses were studied experimentally and simulated numerically. The velocity response within a model, large-scale printhead was recorded by laser Doppler anemometry, and the waveform was used in Lagrangian finite-element simulations as an input. Droplet shapes and positions were observed by shadowgraphy and compared with their numerically obtained analogues. © 2011 American Physical Society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Prepared for the Handbook of the Economics of Cultural Heritage. Forthcoming in Edgard Elgar Publisher. Anna Mignosa and Ilde Rizzo (editors)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Published as an article in: American Economic Review, 2010, vol. 100, issue 4, pages 1601-15.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In a context where demand for the services of a durable good changes over time, and this change may be uncertain, the paper shows that social welfare may be higher when the monopolist seller can commit to any future price level she wishes than when she cannot. Moreover, the equilibrium under a monopolist with commitment power may Pareto-dominate the equilibrium under a monopolist without commitment ability. These results affect the desired regulation of a durable goods monopolist in this context.