13500 search results - page 146 / 2700 » Improved analysis of D |
71
Voted
FOCS
1995
IEEE
15 years 4 months ago
1995
IEEE
117
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...
81
Voted
FDTC
2008
Springer
15 years 2 months ago
2008
Springer
104
click to vote
LANMR
2007
15 years 2 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
CIIT
2004
15 years 2 months ago
2004
UPnP is a widely-spread connectivity standard, which allows networked devices to cooperate in an autonomous fashion by using functionality found on the network. In this article we...