1210 search results - page 53 / 242 » Formal Techniques for Java Programs |
105
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
122
click to vote
CGO
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
139
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a problem that is a common generalization of the uncapacitated facility location (UFL) and minimum latency (ML) problems, where facilities not only need to be opened ...
102
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...