322 search results - page 55 / 65 » Satisfiability Coding Lemma |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
ESTIMEDIA
2009
Springer
13 years 6 months ago
2009
Springer
The increasing demand for low power and high performance multimedia embedded systems has motivated the need for effective solutions to satisfy application bandwidth and latency req...
FIW
2009
13 years 6 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
TWC
2010
13 years 3 months ago
2010
User cooperation, whereby multiple users share their antennas and transmit to a common destination in a collaborative manner, has been shown to be an effective way to achieve spat...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...