3342 search results - page 437 / 669 » Automating Abstract Interpretation |
115
click to vote
IFL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
122
click to vote
WCRE
2002
IEEE
15 years 5 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ICAISC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Short range excitation, long range inhibition sometimes referred to as mexican hat connectivity seems to play important role in organization of the cortex, leading to fai...
76
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
94
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...