2836 search results - page 309 / 568 » Model Checking for Software Architectures |
151
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
139
Voted
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
135
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
146
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Tiled architectures can provide a model for early estimation of global interconnect costs. A design exploration tool for reconfigurable architectures is currently under developmen...
191
click to vote
ECOOPW
2003
Springer
15 years 10 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...