Sciweavers

2 search results - page 1 / 1
» The Correctness of Set-Sharing
Sort
View
AGP
1998
IEEE
13 years 8 months ago
The Correctness of Set-Sharing
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
BMCBI
2002
128views more  BMCBI 2002»
13 years 4 months ago
Correlating overrepresented upstream motifs to gene expression: a computational approach to regulatory element discovery in euka
Background: Gene regulation in eukaryotes is mainly effected through transcription factors binding to rather short recognition motifs generally located upstream of the coding regi...
Michele Caselle, Ferdinando Di Cunto, Paolo Prover...