547 search results - page 97 / 110 » FeatureIDE: A tool framework for feature-oriented software d... |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
IWPC
1999
IEEE
14 years 12 days ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
CC
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Images play a vital role in scientific studies. An image repository would become a costly and meaningless data graveyard without descriptive metadata. We adapted EPrints,...
AVI
2004
13 years 9 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...