2881 search results - page 416 / 577 » Model Checking for Programming Languages using Verisoft |
166
click to vote
APLAS
2006
ACM
16 years 8 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
187
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
141
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
152
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
173
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...