1187 search results - page 46 / 238 » Graph-Based Procedural Abstraction |
134
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
136
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
156
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. It is well-known that the lossless compression of color-indexed images can be improved if a suitable reordering of the palette is performed before encoding the images. In...
162
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
151
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...