2836 search results - page 38 / 568 » Model Checking for Software Architectures |
123
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
134
click to vote
SOSE
2006
IEEE
15 years 9 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
125
Voted
SNPD
2008
15 years 4 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
105
Voted
ARCS
2010
Springer
15 years 10 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in superscalar datapaths. Rename logic consists of a table that holds a physical register mapping for...
124
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...