87 search results - page 4 / 18 » The Linux Kernel Configurator as a Feature Modeling Tool |
PPOPP
2010
ACM
14 years 4 days ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
IMSA
2001
13 years 6 months ago
2001
Zebra is publicly available free routing software that is distributed under GNU General Public License. It supports the following IP routing protocols: BGP-4, RIPv1, RIPv2 and OSP...
FASE
2009
Springer
13 years 9 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
TMA
2010
Springer
14 years 3 days ago
2010
Springer
The paper describes the EmPath tool that was designed to emulate packet transfer characteristics as delays and losses in IP network. The main innovation of this tool is its ability...