2661 search results - page 199 / 533 » Model Checking Performability Properties |
191
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
168
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
180
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
153
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
162
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...