11022 search results - page 428 / 2205 » Programming Systems for Autonomy |
180
click to vote
WSC
2004
15 years 9 months ago
2004
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran
177
click to vote
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
190
click to vote
VMCAI
2012
Springer
14 years 3 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
165
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
199
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...