1685 search results - page 103 / 337 » Commonality and Variability in Software Engineering |
130
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
160
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
127
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...
114
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
145
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...