3736 search results - page 672 / 748 » Hand-Writing Program Generator Generators |
120
Voted
TLCA
2005
Springer
15 years 8 months 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...
157
Voted
CASES
2004
ACM
15 years 8 months 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...
108
Voted
ISSTA
2004
ACM
15 years 8 months 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...
116
click to vote
ADHOCNOW
2004
Springer
15 years 8 months 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...
101
Voted
AISC
2004
Springer
15 years 8 months 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...