2335 search results - page 239 / 467 » Functional Differentiation of Computer Programs |
IANDC
2008
15 years 18 days ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
123
click to vote
TCSV
2008
15 years 14 days ago
2008
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
83
Voted
HPCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Fault screeners are a new breed of fault identification technique that can probabilistically detect if a transient fault has affected the state of a processor. We demonstrate that...
192
Voted
POPL
2003
ACM
16 years 26 days ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
108
click to vote
IH
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...