249 search results - page 26 / 50 » Context Sensitivity in Logical Modeling with Time Delays |
FOCS
1989
IEEE
15 years 3 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
108
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
109
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...
109
click to vote
EATIS
2007
ACM
15 years 3 months ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...