674 search results - page 6 / 135 » Explanation Based Program Transformation |
JACIII
2006
13 years 9 months ago
2006
CSCLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
IACR
2011
12 years 9 months ago
2011
: Random number generator designs are discussed, which utilize oscillatory metastability, induced by switching between two stable states of ring‐connected di...
EKAW
1992
Springer
14 years 1 months ago
1992
Springer
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...