Sciweavers

10542 search results - page 341 / 2109
» A General Notion of Useful Information
Sort
View
IWMM
2007
Springer
122views Hardware» more  IWMM 2007»
16 years 1 months ago
Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
Pramod G. Joisha
PEPM
2007
ACM
16 years 29 days ago
Quasi-terminating logic programs for ensuring the termination of partial evaluation
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
Germán Vidal
GLVLSI
2010
IEEE
209views VLSI» more  GLVLSI 2010»
15 years 12 months ago
Enhancing debugging of multiple missing control errors in reversible logic
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
Jean Christoph Jung, Stefan Frehse, Robert Wille, ...
191
Voted
FOSSACS
2001
Springer
15 years 11 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
RECOMB
2001
Springer
15 years 11 months ago
Edit distance between two RNA structures
The primary structure of a ribonucleic acid (RNA) molecule is a sequence of nucleotides (bases) over the four-letter alphabet fA; C; G; Ug. The secondary or tertiary structure of ...
Guohui Lin, Bin Ma, Kaizhong Zhang