1037 search results - page 105 / 208 » Compositional Variability - Concepts and Patterns |
119
click to vote
TVLSI
2008
15 years 3 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
119
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Abstract. We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. Th...
137
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
132
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
132
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Multi-threshold CMOS is an increasingly popular circuit approach that enables high performance and low power operation. However, no methodologies have been developed to size the h...