3736 search results - page 672 / 748 » Hand-Writing Program Generator Generators |
209
Voted
TLCA
2005
Springer
16 years 26 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
265
click to vote
CASES
2004
ACM
16 years 25 days ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
190
Voted
ISSTA
2004
ACM
16 years 25 days ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
190
Voted
ADHOCNOW
2004
Springer
16 years 24 days ago
2004
Springer
Topology control is the problem of assigning transmission power values to the nodes of an ad hoc network so that the induced graph satisfies some specified property. The most fun...
174
Voted
AISC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...