Login / Signup
Fencing Programs with Self-Invalidation and Self-Downgrade.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Stefanos Kaxiras
Carl Leonardsson
Alberto Ros
Yunyun Zhu
Published in:
FORTE (2016)
Keyphrases
</>
response time
computer programs
databases
fixpoint
real time
genetic algorithm
information systems
web services
multiscale
search algorithm
data management
operating system
programming environment
intermediate level
java programs