6197 search results - page 361 / 1240 » Sandbridge Software Tools |
172
click to vote
TSE
2010
15 years 5 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
207
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
188
click to vote
SOFTWARE
2011
15 years 1 months ago
2011
In the era of multicores, many applications that tend to require substantial compute power and data crunching (aka Throughput Computing Applications) can now be run on desktop PCs...
209
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
184
click to vote
ICFEM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...