3199 search results - page 50 / 640 » Variability in Automation System Models |
121
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
129
Voted
IJON
2007
15 years 2 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
ISQED
2009
IEEE
15 years 9 months ago
2009
IEEE
An on-chip test-and-measurement system with digital interfaces that can perform device-level characterization of large-dense arrays of transistors is demonstrated in 90- and 65-nm...
126
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
88
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
