10870 search results - page 132 / 2174 » Model Checking Programs |
121
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
115
click to vote
ET
2010
15 years 6 days ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
107
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
154
click to vote
IJSEKE
2011
14 years 5 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
CADE
2004
Springer
16 years 1 months ago
2004
Springer