69 search results - page 4 / 14 » Answering common questions about code |
CC
2005
Springer
15 years 3 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
CW
2006
IEEE
15 years 3 months ago
2006
IEEE
Despite its history of several decades and impressive achievements, developing a VR application is still a complex task. Setting-up a Virtual Environment requires choosing a suita...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—The IEEE 802.16 standard, or WiMAX, has emerged to facilitate high-bandwidth wireless access in realworld metropolitan areas, commonly referred to as 4G. In WiMAX, Hybrid Automa...
SPLC
2000
14 years 11 months ago
2000
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...