176 search results - page 3 / 36 » A semantic measure of the execution time in linear logic |
ISORC
2009
IEEE
14 years 1 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
TIME
2009
IEEE
14 years 4 days ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
AAI
2010
13 years 13 days ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
JUCS
2006
13 years 5 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...