905 search results - page 126 / 181 » Code Generator Testing in Practice |
JEA
2006
14 years 9 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
108
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
159
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
68
Voted
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...