5863 search results - page 111 / 1173 » Calculating Functional Programs |
EJC
2007
15 years 2 months ago
2007
We present various techniques to count proportions of permutations with restricted cycle structure in finite permutation groups. For example, we show how a generalized block theo...
215
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
110
click to vote
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...
113
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Many newly detected point mutations are located in protein-coding regions of the human genome. Knowledge of their effects on the protein's 3D structure provides i...
116
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...