52 search results - page 3 / 11 » Compactness and independence in non first order frameworks |
ETFA
2006
IEEE
13 years 9 months ago
2006
IEEE
Classical off-line approaches based on preemption such as RM (Rate Monotonic), DM (Deadline Monotonic), EDF (Earliest Deadline First), LLF (Least Laxity First), etc, give schedula...
FMCAD
1998
Springer
13 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
CLEIEJ
2006
13 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
CVPR
2009
IEEE
15 years 27 days ago
2009
IEEE
This paper proposes a method to recover the embedding
of the possible shapes assumed by a deforming nonrigid
object by comparing triplets of frames from an orthographic
video se...
TLCA
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...