828 search results - page 64 / 166 » A New Model of Program Dependences for Reverse Engineering |
ISMAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Modern society requires the public to have an increased knowledge of science beyond the basics, with average people needing to understand concepts in science, technology, engineer...
PDPTA
2010
13 years 7 months ago
2010
Though the GPGPU concept is well-known in image processing, much more work remains to be done to fully exploit GPUs as an alternative computation engine. The difficulty is not refo...
RE
1997
Springer
14 years 1 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...