12981 search results - page 389 / 2597 » Model Checking and Abstraction |
161
click to vote
AAECC
2006
Springer
16 years 26 days ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
188
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
166
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
176
click to vote
FASE
2004
Springer
16 years 8 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
195
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...