Sciweavers

580 search results - page 47 / 116
» Building a Family of Compilers
Sort
View
TACS
1994
Springer
15 years 4 months ago
Separate Abstract Interpretation for Control-Flow Analysis
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
Yan Mei Tang, Pierre Jouvelot
96
Voted
BMCBI
2007
175views more  BMCBI 2007»
15 years 20 days ago
CLUSS: Clustering of protein sequences based on a new similarity measure
Background: The rapid burgeoning of available protein data makes the use of clustering within families of proteins increasingly important. The challenge is to identify subfamilies...
Abdellali Kelil, Shengrui Wang, Ryszard Brzezinski...
127
Voted
ACMIDC
2011
14 years 4 months ago
Pop goes the cell phone: asynchronous messaging for preschoolers
This paper outlines a series of experiments to develop asynchronous messaging systems for preschool aged children. Three unique systems build on a foundational design called Toast...
Hayes Raffle, Rafael Ballagas, Glenda Revelle, Koi...
125
Voted
BMCBI
2011
14 years 4 months ago
GPCR-SSFE: A comprehensive database of G-protein-coupled receptor template predictions and homology models
Background: G protein-coupled receptors (GPCRs) transduce a wide variety of extracellular signals to within the cell and therefore have a key role in regulating cell activity and ...
Catherine L. Worth, Annika Kreuchwig, Gunnar Klein...
125
Voted
COOTS
1997
15 years 1 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small