692 search results - page 82 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
115
click to vote
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
101
click to vote
VLSID
2004
IEEE
16 years 7 days ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
EUROMED
2010
14 years 10 months ago
2010
Abstract. The aim of this project paper is to explore the opportunities and challenges of using ICT in the understanding, representation, preservation, management, interpretation o...
ECIS
2001
15 years 1 months ago
2001
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
131
click to vote
JPDC
2008
14 years 11 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...