3199 search results - page 132 / 640 » Variability in Automation System Models |
163
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
131
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
117
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
109
Voted
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
141
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...