2196 search results - page 218 / 440 » Practical Reasoning Using Values |
PLDI
1993
ACM
14 years 1 months ago
1993
ACM
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: Today software systems have to face frequent requests for change during their whole lifetime. It is very important that they can adapt to the frequently changing needs and are fl...
HICSS
2009
IEEE
14 years 1 months ago
2009
IEEE
Creativity as modeled using the recluse genius paradigm fails to recognize the necessity and value of the collaborative aspects involved. Enhancing the creative output of teams wi...
ASIACRYPT
2006
Springer
14 years 1 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
CP
2006
Springer
14 years 1 months ago
2006
Springer
Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a g...