8132 search results - page 310 / 1627 » Dependability, Abstraction, and Programming |
170
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
191
click to vote
WCE
2007
15 years 8 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
172
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
175
click to vote
ASPLOS
2004
ACM
16 years 5 days ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
201
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...