1411 search results - page 203 / 283 » A Value Analysis for C Programs |
157
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
116
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
120
Voted
ICS
2003
Tsinghua U.
15 years 10 months ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
125
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
The size and high rate of change of source code comprising a software system make it difficult for software developers to keep up with who on the team knows about particular parts...
135
Voted
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...