5241 search results - page 369 / 1049 » Embedded Programming with C |
114
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
122
Voted
TGC
2005
Springer
15 years 9 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...
114
Voted
IPPS
2002
IEEE
15 years 8 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...
130
click to vote
COMPSAC
2007
IEEE
15 years 7 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...
138
Voted
HOTOS
2007
IEEE
15 years 7 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...