1376 search results - page 154 / 276 » Model-Driven Software Verification |
148
click to vote
SIPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Low-Density Parity-Check (LDPC) codes have been adopted in the physical layer of many communication systems because of their superior performance. The direct implementation of the...
157
click to vote
APSCC
2008
IEEE
15 years 5 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
191
click to vote
MOBILIGHT
2010
15 years 1 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...
113
click to vote
KBSE
1995
IEEE
15 years 6 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
134
click to vote
AVI
2008
15 years 5 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...