11022 search results - page 69 / 2205 » Programming Systems for Autonomy |
133
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
109
click to vote
IJOE
2008
15 years 2 months ago
2008
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors a...
110
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
126
Voted
ASPLOS
2004
ACM
15 years 8 months 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...
128
Voted
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...