3404 search results - page 175 / 681 » C Programming Tutorial |
132
click to vote
SCAM
2005
IEEE
15 years 3 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...