Sciweavers

1173 search results - page 16 / 235
» Program Derivation Using Analogy
Sort
View
JUCS
2008
165views more  JUCS 2008»
13 years 7 months ago
A Product Derivation Tool Based on Model-Driven Techniques and Annotations
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
Elder Cirilo, Uirá Kulesza, Carlos Jos&eacu...
EDCC
2006
Springer
13 years 11 months ago
Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
Karthik Pattabiraman, Giacinto Paolo Saggese, Dani...
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 7 months ago
Number sequence representation of protein structures based on the second derivative of a folded tetrahedron sequence
A protein is a sequence of amino-acids of length typically less than 1, 000, where there are 20 kinds of amino-acids. In nature, each protein is folded into a well-defined three-d...
Naoto Morikawa
BMCBI
2007
115views more  BMCBI 2007»
13 years 7 months ago
Local comparison of protein structures highlights cases of convergent evolution in analogous functional sites
Background: We performed an exhaustive search for local structural similarities in an ensemble of non-redundant protein functional sites. With the purpose of finding new examples ...
Gabriele Ausiello, Daniele Peluso, Allegra Via, Ma...
IJFCS
2007
98views more  IJFCS 2007»
13 years 7 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck