1133 search results - page 60 / 227 » Local Logics for Traces |
151
Voted
TACS
2001
Springer
15 years 5 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
149
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
85
Voted
SLOGICA
2008
15 years 20 days ago
2008
In this paper we define a new notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, s...
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...
109
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
We propose a fast text/graphics resolution improvement algorithm with boundary parameterization and wavelet based denoising. Given input images containing labeled text/graphics ob...