4814 search results - page 569 / 963 » Combining abstract interpreters |
150
click to vote
EWSA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
198
click to vote
FPL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
161
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
153
click to vote
GBRPR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
218
click to vote
GCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...