458 search results - page 21 / 92 » Symbolic Object Code Analysis |
APSEC
2001
IEEE
14 years 3 days ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
AMOST
2007
ACM
14 years 14 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
IWPC
2000
IEEE
14 years 25 days ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...