Sciweavers

5547 search results - page 112 / 1110
» Software Variability Management
Sort
View
SERP
2003
15 years 3 months ago
Building Software Via Shared Knowledge
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
José R. Herrero, Juan J. Navarro
108
Voted
FSE
1994
Springer
127views Cryptology» more  FSE 1994»
15 years 6 months ago
The RC5 Encryption Algorithm
This document describes the RC5 encryption algorithm, a fast symmetric block cipher suitable for hardware or software implementations. A novel feature of RC5 is the heavy use of da...
Ronald L. Rivest
140
Voted
CC
2003
Springer
250views System Software» more  CC 2003»
15 years 7 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...
114
Voted
SPLC
2007
15 years 3 months ago
Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
Alexandre Bragança, Ricardo Jorge Machado
131
Voted
AADEBUG
2005
Springer
15 years 8 months ago
An integrated debugging environment for reprogrammble hardware systems
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
Kevin Camera, Hayden Kwok-Hay So, Robert W. Broder...