Sciweavers

655 search results - page 58 / 131
» On Flat Programs with Lists
Sort
View
BMCBI
2005
126views more  BMCBI 2005»
13 years 7 months ago
GANN: Genetic algorithm neural networks for the detection of conserved combinations of features in DNA
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
Robert G. Beiko, Robert L. Charlebois
BMCBI
2004
105views more  BMCBI 2004»
13 years 7 months ago
eL-DASionator: an LDAS upload file generator
Background: The Distributed Annotation System (DAS) allows merging of DNA sequence annotations from multiple sources and provides a single annotation view. A straightforward way t...
Vincent Nègre, Christoph Grunau
SIGSOFT
2007
ACM
14 years 8 months ago
Efficient checkpointing of java software using context-sensitive capture and replay
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin
VMCAI
2007
Springer
14 years 1 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
ICSM
2006
IEEE
14 years 1 months ago
Dynamic Updating of Software Systems Based on Aspects
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...
Susanne Cech Previtali, Thomas R. Gross