1137 search results - page 82 / 228 » Partial Program Admission |
113
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
92
Voted
PEPM
1991
ACM
15 years 4 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
79
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
109
Voted
INFORMATICALT
2007
15 years 18 days ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
114
Voted
APLAS
2011
ACM
14 years 20 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...