4814 search results - page 580 / 963 » Combining abstract interpreters |
165
click to vote
FPL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
197
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Training neural networks is a complex task of great importance in the supervised learning field of research. In this work we tackle this problem with five algorithms, a...
179
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
164
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
173
click to vote
GI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract: Recently, Distributed Hash Tables evolved to a preferred approach for decentralized data management in widely distributed systems. Due to their crucial characteristics ...