707 search results - page 104 / 142 » Some Comments on the Coding of Programs |
117
Voted
SEAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
74
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...
115
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
92
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
112
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...