1097 search results - page 1 / 220 » Sequential Object Monitors |
ECOOP
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
FMOODS
2003
13 years 8 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
ALT
2006
Springer
13 years 11 months ago
2006
Springer
In this paper the sequential prediction problem with expert advice is considered when the loss is unbounded under partial monitoring scenarios. We deal with a wide class of the par...
ITC
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
PAMI
2008
13 years 7 months ago
2008
