1901 search results - page 166 / 381 » Predicting Program Properties from |
116
click to vote
HCW
1999
IEEE
15 years 7 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
121
click to vote
AIPS
2008
15 years 5 months ago
2008
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
98
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
109
click to vote
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
201
click to vote
FPCA
1995
15 years 6 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...