1087 search results - page 24 / 218 » Generation under Space Constraints |
214
Voted
IASTEDSE
2004
15 years 3 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
103
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We investigate the limits of communication over the discrete-time Additive White Gaussian Noise (AWGN) channel, when the channel output is quantized using a small number of bits. W...
107
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...
98
Voted
SCOPES
2005
Springer
15 years 7 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...