5547 search results - page 165 / 1110 » Software Variability Management |
157
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
165
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
159
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
High-order matrix or vector expressions tend to be penalized by the use of huge temporary variables. Expression templates is a C++ technique which can be used to avoid these tempor...
134
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe the organization and microarchitecture of MT-MB, a configurable implementation of the Xilinx MicroBlaze soft processor that supports multithreading. Usi...
164
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...