20778 search results - page 3682 / 4156 » Algorithms for Data Migration |
164
click to vote
EMSOFT
2003
Springer
16 years 2 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
192
click to vote
FATES
2003
Springer
16 years 2 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
253
click to vote
FPGA
2003
ACM
16 years 2 days ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
163
click to vote
GRID
2003
Springer
16 years 2 days ago
2003
Springer
Resource discovery and monitoring in a distributed Grid environment gives rise to several issues, one of which is the provision of reliable performance and hence, the quality-ofse...
177
click to vote
ICCBR
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...