Sciweavers

Share
1131 search results - page 1 / 227
» Resource-Bounded Partial Evaluation
Sort
View
ATAL
2005
Springer
9 years 9 months ago
Emotion based adaptive reasoning for resource bounded agents
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
Luís Morgado, Graça Gaspar
CCS
2015
ACM
3 years 11 months ago
Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems
In order to be resilient to attacks, a cyber-physical system (CPS) must be able to detect attacks before they can cause signi´Čücant damage. To achieve this, intrusion detection s...
Waseem Abbas, Aron Laszka, Yevgeniy Vorobeychik, X...
APLAS
2010
ACM
9 years 3 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
SCAM
2008
IEEE
9 years 10 months ago
Modular Decompilation of Low-Level Code by Partial Evaluation
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
books