2935 search results - page 105 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
131
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Existing approaches for optimizing queries in data integration use decoupled strategies–attempting to optimize coverage and cost in two separate phases. Since sources tend to ha...
161
Voted
EMO
2009
Springer
15 years 2 months ago
2009
Springer
Traditionally, Predator-Prey Models--although providing a more nature-oriented approach to multi-objective optimization than many other standard Evolutionary Multi-Objective Algori...
148
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
151
Voted
IEEEIAS
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...