Sciweavers

659 search results - page 124 / 132
» Product Line Sigraphs
Sort
View
VAMOS
2007
Springer
14 years 1 months ago
FAMA: Tooling a Framework for the Automated Analysis of Feature Models
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
David Benavides, Sergio Segura, Pablo Trinidad, An...
APCSAC
2005
IEEE
14 years 1 months ago
Energy-Effective Instruction Fetch Unit for Wide Issue Processors
Continuing advances in semiconductor technology and demand for higher performance will lead to more powerful, superpipelined and wider issue processors. Instruction caches in such ...
Juan L. Aragón, Alexander V. Veidenbaum
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
14 years 1 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
FOSSACS
2005
Springer
14 years 1 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
ICADL
2005
Springer
110views Education» more  ICADL 2005»
14 years 1 months ago
A Hybrid Information Retrieval Model Using Metadata and Text
Metadata IR model has high precision and low recall because the query in Metadata IR model is strict that is, the query can express user information need exactly, while Full-text I...
Sung Kim, Sung Myaeng, Jeong-Mok Yoo