4814 search results - page 126 / 963 » Combining abstract interpreters |
152
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
115
click to vote
VTC
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— In this paper, we propose a new groupwise receiver combiner design method for spatial multiplexing multipleinput multiple-output (MIMO) systems. The conventional group ...
133
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
180
click to vote
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...