1037 search results - page 59 / 208 » Compositional Variability - Concepts and Patterns |
127
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
We describe a built-in test pattern generation method for scan circuits. The method is based on partitioning and storage of test sets. Under this method, a precomputed test set is...
141
click to vote
WSC
2008
15 years 5 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
116
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The nucleotide sequence flanking the translation initiation codon (start codon context) affects the translational efficiency of eukaryotic mRNAs, and may indicate the ...
143
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
115
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...