12774 search results - page 145 / 2555 » A Framework for Proof Systems |
126
click to vote
JUCS
2008
15 years 4 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
124
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
152
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...
128
click to vote
SIAMDM
2008
15 years 3 months ago
2008
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
128
click to vote
CADE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...