3404 search results - page 131 / 681 » C Programming Tutorial |
168
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
CASES
2006
ACM
15 years 3 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
SIAMJO
2002
14 years 9 months ago
2002
A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
JSC
2010
14 years 8 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...